Add to ORKGAbstract Research on validation and verification of requirements specifications has thus far focused on functional properties. Yet, in embedded systems, func-tional requirements constitute only a small fraction of the properties that must hold to guarantee proper and safe operation of the system under design. In this paper we try to shine some light on the kinds of requirements occurring in current embedded systems design processes. We present a set of categories together with real-life examples. For each of them, we briefly describe possible approaches towards formal modeling and automated verification of the respective properties.
Embedded software design is part of embedded system design, which by its very nature, requires a dee...
94-105With the advancement in technology, many features of the large scale application systems are b...
In model-based design verification, software models are checked against functional and nonfunctional...
We are investigating ways to improve the process of modelling of embedded systems for formal verific...
In this paper we describe an interesting context to study formal methods for component systems: embe...
The first part of this book introduces to families of rigorous software requirements, and how to org...
Abstract: One of the issues related to systems design is the early verification in first design ste...
This paper presents the framework for the creation of various domain-specific languages for verifica...
Abstract: Functional requirements that were stated in cooperation with the stakehold-ers have to be ...
Since the first lines of code were introduced in the automotive domain, vehicles have transitioned f...
The result of a model-based requirements verification shows that the model of a system satisfies (or...
This book introduces a new level of abstraction that closes the gap between the textual specificatio...
International audience<p> Connected embedded systems have added new conveniences and safety measure...
Managing the complexity of modern systems is a current challenge involving all the phases of a syste...
Requirements engineering is a process in which a most diverse set of product demands from a most div...
Embedded software design is part of embedded system design, which by its very nature, requires a dee...
94-105With the advancement in technology, many features of the large scale application systems are b...
In model-based design verification, software models are checked against functional and nonfunctional...
We are investigating ways to improve the process of modelling of embedded systems for formal verific...
In this paper we describe an interesting context to study formal methods for component systems: embe...
The first part of this book introduces to families of rigorous software requirements, and how to org...
Abstract: One of the issues related to systems design is the early verification in first design ste...
This paper presents the framework for the creation of various domain-specific languages for verifica...
Abstract: Functional requirements that were stated in cooperation with the stakehold-ers have to be ...
Since the first lines of code were introduced in the automotive domain, vehicles have transitioned f...
The result of a model-based requirements verification shows that the model of a system satisfies (or...
This book introduces a new level of abstraction that closes the gap between the textual specificatio...
International audience<p> Connected embedded systems have added new conveniences and safety measure...
Managing the complexity of modern systems is a current challenge involving all the phases of a syste...
Requirements engineering is a process in which a most diverse set of product demands from a most div...
Embedded software design is part of embedded system design, which by its very nature, requires a dee...
94-105With the advancement in technology, many features of the large scale application systems are b...
In model-based design verification, software models are checked against functional and nonfunctional...