Integrating UML, MARTE and SysML to improve requirements specification and traceability in the embedded domain
MRS Marques, E Siegert… - 2014 12th IEEE …, 2014 - ieeexplore.ieee.org
This work presents a model-driven requirement engineering approach for the embedded
software domain. This approach is based on UML, MARTE and SysML standard notations …
software domain. This approach is based on UML, MARTE and SysML standard notations …
Combining genetic algorithms and constraint programming to support stress testing of task deadlines
Tasks in real-time embedded systems (RTES) are often subject to hard deadlines that
constrain how quickly the system must react to external inputs. These inputs and their timing …
constrain how quickly the system must react to external inputs. These inputs and their timing …
Schedulability analysis with CCSL specifications
L Yin, J Liu, Z Ding, F Mallet… - 2013 20th Asia-Pacific …, 2013 - ieeexplore.ieee.org
The Clock Constraint Specification Language (CCSL) is a formal polychronous language
based on the notion of logical clock. It defines a set of kernel constraints that can represent …
based on the notion of logical clock. It defines a set of kernel constraints that can represent …
Stress testing of task deadlines: A constraint programming approach
Safety-critical Real Time Embedded Systems (RT-ESs) are usually subject to strict timing
and performance requirements that must be satisfied for the system to be deemed safe. In …
and performance requirements that must be satisfied for the system to be deemed safe. In …
Estimating probabilistic safe wcet ranges of real-time systems at design stages
Estimating worst-case execution time (WCET) is an important activity at early design stages
of real-time systems. Based on WCET estimates, engineers make design and …
of real-time systems. Based on WCET estimates, engineers make design and …
Optimal priority assignment for real-time systems: a coevolution-based approach
In real-time systems, priorities assigned to real-time tasks determine the order of task
executions, by relying on an underlying task scheduling policy. Assigning optimal priority …
executions, by relying on an underlying task scheduling policy. Assigning optimal priority …
A model-based framework encompassing a complete workflow from specification until validation of timing requirements in embedded software systems
A Noyer, P Iyenghar, J Engelhardt… - Software Quality …, 2017 - Springer
Embedded software engineering very often involves development of complex, mission
critical software; wherein it is imperative that the developed software fulfills its requirements …
critical software; wherein it is imperative that the developed software fulfills its requirements …
Combining SystemC, IP-XACT and UML/MARTE in model-based SoC design
JF Le Tallec, J DeAntoni, R De Simone… - Workshop on Model …, 2011 - inria.hal.science
Modern SoC design may rely on models, or on highlevel description languages. Although
very close, the benefits obtained from either sides can be substantially different (and …
very close, the benefits obtained from either sides can be substantially different (and …
[PDF][PDF] Cheddar architecture description language
The aim of this paper is to give a complete and fine definition of the Cheddar Architecture
Design Language. Cheddar is a free real time scheduling tool composed of a graphical …
Design Language. Cheddar is a free real time scheduling tool composed of a graphical …
An evaluation of timed scenario notations
There is a general consensus on the importance of good Requirements Engineering (RE)
for achieving high quality software. The modeling and analysis of requirements have been …
for achieving high quality software. The modeling and analysis of requirements have been …