Tool integration and construction using generated graph-based design representations
DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Graph transformation for specification and programming
Science of Computer Programming
Computer
A Graph Rewriting Framework for Statecharts Semantics
Selected papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science
Hierarchical Hybrid Modeling of Embedded Systems
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
How to Uniformly Specify Program Analysis and Transformation with Graph Rewrite Systems
CC '96 Proceedings of the 6th International Conference on Compiler Construction
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Automated Validation of Software Models
Proceedings of the 16th IEEE international conference on Automated software engineering
An end-to-end domain-driven software development framework
OOPSLA '03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Journal of Visual Languages and Computing
Modeling collaborations with dynamic structural adaptation in mechatronic UML
Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems
Modelling feature interactions in the automotive domain
Proceedings of the 2008 international workshop on Models in software engineering
Symbolic analysis for improving simulation coverage of Simulink/Stateflow models
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
View-supported rollout and evolution of model-based ECU applications
Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software
Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems
Managing complexity and variability of a model-based embedded software product line
Innovations in Systems and Software Engineering
From hybrid data-flow languages to hybrid automata: a complete translation
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control
Semantic Translation of Simulink Diagrams to Input/Output Extended Finite Automata
Discrete Event Dynamic Systems
An operational semantics for Simulink's simulation engine
Proceedings of the 13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems
Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude
Science of Computer Programming
SIMPAR'12 Proceedings of the Third international conference on Simulation, Modeling, and Programming for Autonomous Robots
Bit-precise formal verification of discrete-time MATLAB/Simulink models using SMT solving
Proceedings of the Eleventh ACM International Conference on Embedded Software
Verifying simulink diagrams via a hybrid hoare logic prover
Proceedings of the Eleventh ACM International Conference on Embedded Software
Hi-index | 0.00 |
Embedded systems are often modeled using Matlab's Simulink and Stateflow (MSS), to simulate plant and controller behavior but these models lack support for formal verification. On the other hand verification techniques and tools do exist for models based on the notion of Hybrid Automata (HA) but there are no tools that can convert Simulink/Stateflow models into their semantically equivalent Hybrid Automata models. This paper describes a translation algorithm that converts a well-defined subset of the MSS modeling language into an equivalent hybrid automata. The translation has been specified and implemented using a metamodel-based graph transformation tool. The translation process allows semantic interoperability between the industry-standard MSS tools and the new verification tools developed in the research community.