Scenario-oriented reverse engineering of complex railway system specifications
In this article, we present a scenario-oriented modeling methodology dedicated to the analysis and the formalization of complex system specifications. The methodology relies on the SCOLA semiformal notation to describe scenarios and on a formal ...
Risk modeling of communications, navigation, and surveillance complex systems of systems for future aviation
The planned integration of Communications C, Navigation N, and Surveillance S by the U.S. Federal Aviation Administration FAA would convert their currently safely coordinated operations into a single vulnerable interdependent and interconnected CNS ...
Petri net modeling and analysis of an iPad manufacturing system
The ever increasing sales of Apple's iPad have created a tablet computer craze, attracting various manufacturers to invest and conduct research in this sector. Meanwhile, the production cost is crucial to being considered in the craze. To lower the cost,...
Successful verification of subcontracted work in the construction industry
Due to the introduction of new types of contracts, such as Design, Build, Finance, & Maintain DBFM, a major shift in tasks and responsibilities from client to contractor can be seen in the construction industry. To manage these new contracts and ...
