A model-based workflow from specification until validation of timing requirements in embedded software systems

摘要

In embedded software engineering, timing requirements are among the foremost non-functional requirements that have to be fulfilled. Therefore, there are specialized tools for analyzing and validating the timing behavior in embedded software. On the other hand, Model Driven Development (MDD) is considered as the next paradigm shift to address the increasing complexity in embedded software development. Despite this paradigm shift, it is advantageous to use specialized Requirements Management (RM) tools for managing requirements. Thus, it is intuitive to perceive that a workflow for collaborating with RM, MDD and timing validation tools is very useful. Nevertheless, such a workflow is still missing. This paper addresses those gaps and proposes an approach towards an integrated workflow for managing timing requirements in RM tools, specifying them in MDD tools and their validation in tools for timing analyses.