swMATH21826MaRDI QIDQ33626FDOQ33626
Author name not available (Why is that?)
Official website: http://www.omg.org/omgmarte/
Cited In (26)
- An extensible, maintainable and elegant approach to hardware source code generation in Reconfig-P
- A two-way path between formal and informal design of embedded systems
- Dependability analysis of DES based on MARTE and UML state machines models
- Stepwise refinement of sequence diagrams with soft real-time constraints
- Array-OL with delays, a domain specific specification language for multidimensional intensive signal processing
- 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
- Cheddar
- Fiacre
- Vertaf
- Cellss
- Giotto
- SysML
- Charmy
- Polychrony
- UMLsec
- Papyrus
- HERBY
- SEQUEL
- AUTOSAR
- INA
- GME
- A COTS-based approach for estimating performance and energy consumption of embedded real-time systems
- MAST
- An architectural approach to the analysis, verification and validation of software intensive embedded systems
This page was built for software: MARTE
