Specifying the mode logic of a flight guidance system in CoRE and SCR
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
Decoupling synchronization from local control for efficient symbolic model checking of statecharts
Proceedings of the 21st international conference on Software engineering
Optimizing Symbolic Model Checking for Statecharts
IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Semantic Integration Of Embedded Systems Design Data In An Industrial Setting
Journal of Integrated Design & Process Science
Hi-index | 0.00 |
A project is described in which statechart modeling is applied to the development and validation of system behavior in a state-of-the-practice organization. A group of systems engineers modeled the behavior of diverse airplane systems. The lessons learned by these engineers are described and categorized as lessons about statechart modeling and lessons about tool features that do a good job of supporting statechart modeling. While statecharts provided a robust semantic with which to model behavior, the most powerful experience for the users came from their ability to see the effect of their models via the tool's dynamic simulation and interactive animation features.