MARTE

swMATH21826MaRDI QIDQ33626FDOQ33626

Author name not available (Why is that?)

Cited In (10)

• 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
• 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
• A Two-Way Path Between Formal and Informal Design of Embedded Systems
• 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