A model-based framework encompassing a complete workflow from specification until validation of timing requirements in embedded software systems
Authors:
- 13 June 2016
- journal article
- research article
- Published by Springer Nature in Software Quality Journal
- Vol. 25 (3) , 671-701
Abstract
No abstract availableKeywords
Funding Information
- Bundesministerium für Wirtschaft und Technologie (KF2110104KM4)
This publication has 20 references indexed in Scilit:
- Time and memory-aware runtime monitoring for executing model-based test cases in embedded systems2013
- Software monitoring with controllable overheadInternational Journal on Software Tools for Technology Transfer, 2010
- Integration of scheduling analysis into UML based development processes through model transformation2010
- Time-Aware Instrumentation of Embedded SoftwareIEEE Transactions on Industrial Informatics, 2010
- Traceability in Model-Driven Software Development2009
- Nonintrusive Black- and White-Box Testing of Embedded Systems Software against UML Models18th Ieee/ifip International Workshop on Rapid System Prototyping (RSP '07), 2007
- Model-Driven Development Using UML 2.0: Promises and PitfallsComputer, 2006
- System level performance analysis – the SymTA/S approachIEE Proceedings - Computers and Digital Techniques, 2005
- A taxonomy and catalog of runtime software-fault monitoring toolsIEEE Transactions on Software Engineering, 2004
- Using the Model Paradigm for Real-Time Systems Development: ACCORD/UML2002