Using Graph Grammars to Develop Embedded Systems Based on UML Models

Author(s):  
Nicolas N. Bisi ◽  
Vinicius Pazzini ◽  
Luciana Foss ◽  
Simone Andre da Costa Cavalheiro ◽  
Lisane B. de Brisolara ◽  
...  
Author(s):  
Alek Radjenovic ◽  
Nicholas Matragkas ◽  
Richard F. Paige ◽  
Matteo Rossi ◽  
Alfredo Motta ◽  
...  

Author(s):  
SEBASTIAN ENGELL ◽  
SVEN LOHMANN ◽  
OLAF STURSBERG

This contribution proposes a link between the specification of supervisory controllers by Sequential Function Charts (SFC) and the verification of embedded systems with hybrid dynamics. The SFC are transformed into modular timed automata using a procedure based on graph grammars. The resulting controller model is composed with a hybrid automaton (with possibly nonlinear continuous dynamics) that models the plant behavior. In order to verify safety properties of the composed system algorithmically, a tool implementing the recently proposed approach of counterexample guided model checking is employed. The procedure is illustrated for a processing system example.


Author(s):  
Tomás G. Moreira ◽  
Marco A. Wehrmeister ◽  
Carlos E. Pereira ◽  
Jean-François Pétin ◽  
Eric Levrat

Sign in / Sign up

Export Citation Format

Share Document