MARTE
From MaRDI portal
Cited in
(29)- An extensible, maintainable and elegant approach to hardware source code generation in Reconfig-P
- Dependability analysis of DES based on MARTE and UML state machines models
- A two-way path between formal and informal design of embedded systems
- Array-OL with delays, a domain specific specification language for multidimensional intensive signal processing
- Stepwise refinement of sequence diagrams with soft real-time constraints
- Towards a formal semantics for UML/MARTE state machines based on hierarchical timed automata
- Formalising concurrent UML state machines using coloured Petri nets
- A metamodel for the design of polychronous systems
- SynDEx
- SoftExplorer
- TINA
- Cheddar
- Fiacre
- Vertaf
- Cellss
- Giotto
- SysML
- Charmy
- Polychrony
- UMLsec
- Papyrus
- HERBY
- SEQUEL
- AUTOSAR
- INA
- GME
- MAST
- A COTS-based approach for estimating performance and energy consumption of embedded real-time systems
- An architectural approach to the analysis, verification and validation of software intensive embedded systems
This page was built for software: MARTE
