In this paper a method of automatic generation of test scenarios for verification of specification requirements (temporal and functional) for reactive embedded systems is presented
peer reviewedIn the context of use-case centric development and requirements-driven testing, this pa...
Abstract—This paper addresses the design of reactive real-time embedded systems. Such systems are of...
TURTLE is a real-time UML profile supported by a toolkit which enables application of formal verific...
The complexity of embedded software in safety-critical domains, such as automotive and avionics, ha...
In modern times, human life is intrinsically depending on real-time embedded systems (RTES) with inc...
Modern embedded software is so large and complex that creating the necessary artifacts, including sy...
We address the problem of timing constraint derivation and validation for reactive and real-time emb...
The purpose of this work is to provide a method for the automatic generation of test scenarios from ...
In hard real-time embedded systems, design and specification methods and their associated tools must...
The notion of real-time reactive behavior encompasses concurrency, communication through sensors and...
Model-Driven Engineering enables to assess a system's model properties since the early phases of its...
This report gives an overview of safety considerations relating to distributed embedded systems. Som...
International audienceReal-time embedded systems are used in highly important or even vital tasks (a...
The complete verification of the timing properties of a large critical system cannot be undertaken i...
Real-time systems are found in an increasing variety of application elds. Usually, they are embedded...
peer reviewedIn the context of use-case centric development and requirements-driven testing, this pa...
Abstract—This paper addresses the design of reactive real-time embedded systems. Such systems are of...
TURTLE is a real-time UML profile supported by a toolkit which enables application of formal verific...
The complexity of embedded software in safety-critical domains, such as automotive and avionics, ha...
In modern times, human life is intrinsically depending on real-time embedded systems (RTES) with inc...
Modern embedded software is so large and complex that creating the necessary artifacts, including sy...
We address the problem of timing constraint derivation and validation for reactive and real-time emb...
The purpose of this work is to provide a method for the automatic generation of test scenarios from ...
In hard real-time embedded systems, design and specification methods and their associated tools must...
The notion of real-time reactive behavior encompasses concurrency, communication through sensors and...
Model-Driven Engineering enables to assess a system's model properties since the early phases of its...
This report gives an overview of safety considerations relating to distributed embedded systems. Som...
International audienceReal-time embedded systems are used in highly important or even vital tasks (a...
The complete verification of the timing properties of a large critical system cannot be undertaken i...
Real-time systems are found in an increasing variety of application elds. Usually, they are embedded...
peer reviewedIn the context of use-case centric development and requirements-driven testing, this pa...
Abstract—This paper addresses the design of reactive real-time embedded systems. Such systems are of...
TURTLE is a real-time UML profile supported by a toolkit which enables application of formal verific...
DOI
Add to ORKG