The extent to which a safety-critical system, such as an urban subway control accomplishes its goals is fundamental metric of success. Identifying and assessing these should thus be one the primary tasks in system development. breakdown systems may result loss human lives assets. failure caused by insufficient, incomplete, ambiguous, or conflicting requirements. Non-functional requirements are ...

With urbanization and the rapid development of social economy, China’s rail transit industry has developed rapidly in recent years. In order to alleviate pressure road network, subways provide convenience as they are fast space-saving. Subway stations major energy consumers urban power grid due their large traffic volume long operation time. On premise ensuring safety, reducing consumption subw...

In this paper we present a case study in the industry about the application of a test case generation method based on B machine specifications. First we describe the step-by-step process of the test case generation method and then we present its use in a particular case study for door controlling module from a subway system. Lastly, we discuss the results obtained after this study and the futur...

Every few weeks, I take the subway to China. More accurately, I board a metro train in downtown Washington and travel 40 minutes to a Virginia suburb that’s mostly populated by people of Chinese heritage. The area is as much a center for Chinese visitors as it is a home to immigrants. The local restaurant serves Hong Shao Rou, a dish rarely served in more Americanized Chinese restaurants. A loc...