Requirements Modeling for Embedded Realtime Systems

  title={Requirements Modeling for Embedded Realtime Systems},
  author={Ingolf Kr{\"u}ger and Claudiu Farcas and Emilia Farcas and Massimiliano Menarini},
  booktitle={Model-Based Engineering of Embedded Real-Time Systems},
Requirements engineering is the process of defining the goals and constraints of the system and specifying the system's domain of operation. Requirements activities may span the entire life cycle of the system development, refining the system specification and ultimately leading to an implementation. This chapter presents methodologies for the entire process from identifying requirements, modeling the domain, and mapping requirements to architectures. We detail multiple activities… 

Requirements for a Model-based Requirements Engineering Tool for Embedded Systems : Systematic Literature Review and Survey

This study extracted, analyzed and organized potential needs and requirements sources in the literature into requirements fitting predefined relevance and inclusion metrics, which were validated and consolidated using expert feedback via a survey.

A Metamodel to Guide a Requirements Elicitation Process for Embedded Systems

A metamodel based on a systematic literature review (SLR) that can support the elicitation of ES concepts and can be used by practitioners to check if they are eliciting the appropriate information for the development of embedded systems.

Retrospective and Trends in Requirements Engineering for Embedded Systems: A Systematic Literature Review

A systematic literature review is conducted to gain an in-depth understanding of trends and needs concerning RE research and draws conclusions for future RE research.

Considerations for a Framework for Specification and Measurement of Reserve Capacity in Software‐Intensive Systems

It is proposed to create a framework for characterising run‐time resource utilisation in a data processing system, such that effective reserve capacity can be described and measured in ways that are well defined but not design‐specific.



Model-based run-time monitoring of end-to-end deadlines

A domain model for system functions (or services) based on interaction patterns is developed; this model captures deadline specifications ranging from individual messages to entire services and provides an experimentation platform for monitoring these specified deadlines in executable specifications.

The Core method for real-time requirements

Core is a single, coherent method for specifying real-time requirements that integrates object-oriented and forward models, integrates graphical and formal specifications, permits nonalgorithmic specifications, and provides a machine-like model.

Completeness and Consistency in Hierarchical State-Based Requirements

Methods for automatically analyzing formal, state-based requirements specifications for some aspects of completeness and consistency are described, using a low-level functional formalism, simplifying the analysis process.

Requirements Specification for Process-Control Systems

An example specification demonstrates the practicality of writing a formal requirements specification for a complex, process-control system; and the feasibility of building a formal model of a system using a specification language that is readable and reviewable by application experts who are not computer scientists or mathematicians.

Formal refinement patterns for goal-driven requirements elaboration

An approach to goal refinement and operationalization which is aimed at providing constructive formal support while hiding the underlying mathematics is presented, and the general principle is to reuse generic refinement patterns from a library structured according to strengthening/weakening relationships among patterns.

Towards modelling and reasoning support for early-phase requirements engineering

  • E. Yu
  • Computer Science
    Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering
  • 1997
This paper argues that a different kind of modelling and reasoning support is needed for the early phase of requirements engineering, which aims to model and analyze stakeholder interests and how they might be addressed, or compromised, by various system-and-environment alternatives.

Distributed system design with message sequence charts

This thesis proposes a seamless, methodically founded integration of MSCs into the development process for distributed, reactive systems, and presents two transformation procedures, supporting the transition from interaction scenarios to complete behavior specifications for individual components.

Requirements patterns for embedded systems

  • S. KonradB. Cheng
  • Computer Science
    Proceedings IEEE Joint International Conference on Requirements Engineering
  • 2002
This paper explores how object-oriented modeling notations, such as the Unified Modeling Language (UML), can be used to represent common requirements patterns, which are requirements patterns for embedded systems.

Specifying Software Requirements for Complex Systems: New Techniques and Their Application

The purpose of the paper is to introduce the A-7 document as a model of a disciplined approach to requirements specification and the document is available to anyone who wishes to see a fully worked-out example of the approach.

Requirements engineering using the SOS paradigm

  • S. GreenspanM. Feblowitz
  • Computer Science
    [1993] Proceedings of the IEEE International Symposium on Requirements Engineering
  • 1993
It is shown that there are advantages to viewing many large, complex systems within the SOS paradigm due to the increasingly service-oriented economy as well as the increased demands for a paradigm for integration of and interoperability between systems across multiple enterprises.