Statecharts: A visual formalism for complex systems
Science of Computer Programming
Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Experiences Using Lightweight Formal Methods for Requirements Modeling
IEEE Transactions on Software Engineering
Object-Oriented Software Engineering; Conquering Complex and Changing Systems
Object-Oriented Software Engineering; Conquering Complex and Changing Systems
HW/SW Cosynthesis Using Statecharts and Symbolic Timing Diagrams
RSP '98 Proceedings of the Ninth IEEE International Workshop on Rapid System Prototyping
Equivalence Checking of Two Statechart Specifications
RSP '00 Proceedings of the 11th IEEE International Workshop on Rapid System Prototyping (RSP 2000)
Verification of Timing Properties in Rapid System Prototyping
RSP '03 Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP'03)
Verification of UML-Based Real-Time System Designs by Means of cTLA
ISORC '00 Proceedings of the Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
TLCharts: Armor-plating Harel Statecharts with Temporal Logic Conditions
RSP '04 Proceedings of the 15th IEEE International Workshop on Rapid System Prototyping
International Journal on Software Tools for Technology Transfer (STTT)
Test-Time, Run-Time, and Simulation-Time Temporal Assertions in RSP
RSP '05 Proceedings of the 16th IEEE International Workshop on Rapid System Prototyping
Spring Framework for Rapid Open Source J2EE Web Application Development: A Case Study
SNPD-SAWN '05 Proceedings of the Sixth International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing and First ACIS International Workshop on Self-Assembling Wireless Networks
Creation and Validation of Embedded Assertion Statecharts
RSP '06 Proceedings of the Seventeenth IEEE International Workshop on Rapid System Prototyping
Electronic Notes in Theoretical Computer Science (ENTCS)
Constructing formal rules to verify message communication in distributed systems
The Journal of Supercomputing
Validating Quality Attribute Requirements
Software—Practice & Experience
Specification and verification of reliability in dispatching multicast messages
The Journal of Supercomputing
| Hi-index | 0.00 |
Integrating formal assertions into the modeling, implementation, and testing of statechart-based designs can enhance a rapid system prototyping system's robustness by providing runtime monitoring and recovery from assertion failures. An iterative process for developing and verifying statechart prototype models augmented with statechart assertions using the StateRover tool lets system designers write formal specifications using statechart assertions. It also enables them to use JUnit-based simulation to validate statechart assertions and to test statechart prototype models augmented with statechart assertions. A case study using a safety-critical computer assisted resuscitation algorithm software prototype for a casualty intravenous fluid infusion pump illustrates the process.