Requirements Modeling for Embedded Realtime Systems

@inproceedings{Krger2007RequirementsMF,
  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},
  year={2007}
}
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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.

References

SHOWING 1-10 OF 129 REFERENCES
Model-based run-time monitoring of end-to-end deadlines
TLDR
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
TLDR
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.
Requirements Specification for Process-Control Systems
TLDR
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
TLDR
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
TLDR
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
TLDR
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.
Specifying Software Requirements for Complex Systems: New Techniques and Their Application
TLDR
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
TLDR
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.
Statemate: a working environment for the development of complex reactive systems
TLDR
The main novelty of STATEMATE is in the fact that it understands the entire descriptions perfectly, to the point of being able to analyze them for crucial dynamic properties, to carry out rigorous animated executions and simulations of the described system, and to create running code automatically.
Rigorous development of a safety-critical system based on coordinated atomic actions
  • Jie XuB. Randell F. V. Henke
  • Computer Science
    Digest of Papers. Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing (Cat. No.99CB36352)
  • 1999
TLDR
It was found that CA action structuring facilitated both the design and verification tasks by enabling the various safety problems to be treated independently, and the formal verification of this design based on the use of model-checking.
...
...