Distributed systems and computer networks
Distributed systems and computer networks
A framework for building dependable systems
The Computer Journal - Special issue on methodologies (systems and software)
Object lifecycles: modeling the world in states
Object lifecycles: modeling the world in states
Object-oriented modeling and design
Object-oriented modeling and design
The duality of fault-tolerant system structures
Software—Practice & Experience
Executable UML: A Foundation for Model-Driven Architectures
Executable UML: A Foundation for Model-Driven Architectures
Modeling Reactive Systems with Statecharts: The Statemate Approach
Modeling Reactive Systems with Statecharts: The Statemate Approach
From Requirements Change to Design Change: A Formal Path
SEFM '04 Proceedings of the Software Engineering and Formal Methods, Second International Conference
A Knowledge-based Approach for Safety Analysis Using System Interactions
APSEC '06 Proceedings of the XIII Asia Pacific Software Engineering Conference
Modeling Software with Finite State Machines
Modeling Software with Finite State Machines
Principles of Model Checking (Representation and Mind Series)
Principles of Model Checking (Representation and Mind Series)
Practical UML Statecharts in C/C++, Second Edition: Event-Driven Programming for Embedded Systems
Practical UML Statecharts in C/C++, Second Edition: Event-Driven Programming for Embedded Systems
Architecture for Hybrid Robotic Behavior
HAIS '09 Proceedings of the 4th International Conference on Hybrid Artificial Intelligence Systems
From Requirements to Embedded Software - Formalising the Key Steps
ASWEC '09 Proceedings of the 2009 Australian Software Engineering Conference
Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations
Electronic Notes in Theoretical Computer Science (ENTCS)
Software Engineering
Modelling behaviour requirements for automatic interpretation, simulation and deployment
SIMPAR'10 Proceedings of the Second international conference on Simulation, modeling, and programming for autonomous robots
Experience with fault injection experiments for FMEA
Software—Practice & Experience
WCSE '12 Proceedings of the 2012 Third World Congress on Software Engineering
Hi-index | 0.00 |
Simulation of models that specify behaviour of software in robots, embedded systems, and safety critical systems is crucial to ensure correctness. This is particularly important in conjunction with model-driven development, which is highly prevalent due to its numerous benefits. We use vectors of finite-state machines (FSMs) as our modelling tool. Our FSMs can have their transitions labeled by expressions of a common sense logic, and they are more expressive than other modelling approaches (such as Behavior Trees, Petri nets, or plain FSMs). We interpret the models using the same round-robin scheduler which is integrated into the simulator. Execution on a platform is exactly the same as in the simulator (where sensors and actuators are masqueraded by proxies) and coincides with the generator of the Kripke structure for formal model-checking. In three ubiquitous case studies we show that our simulation discovers issues where those models were incomplete, ambiguous, or incorrect. This further illustrates that simulation and monitoring need to complement formal verification.