2002
DOI: 10.1007/3-540-46105-1_34
|View full text |Cite
|
Sign up to set email alerts
|

Model-Based Development of Embedded Systems

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
34
0

Year Published

2002
2002
2019
2019

Publication Types

Select...
6
3

Relationship

0
9

Authors

Journals

citations
Cited by 62 publications
(34 citation statements)
references
References 5 publications
0
34
0
Order By: Relevance
“…While the use of intuitive interface (Barfield, 2004) and graphical tools is helpful for acceptance, (Schatz et al, 2002) highlights that it is not essential for the concept. Also, to perform model checking, the state machines eventually need to be converted into model checking input models.…”
Section: Translation Of Hip-hops Failure Annotations To a Refined Stamentioning
confidence: 99%
“…While the use of intuitive interface (Barfield, 2004) and graphical tools is helpful for acceptance, (Schatz et al, 2002) highlights that it is not essential for the concept. Also, to perform model checking, the state machines eventually need to be converted into model checking input models.…”
Section: Translation Of Hip-hops Failure Annotations To a Refined Stamentioning
confidence: 99%
“…Model-Based Development (MBD) [1] is an approach that aspires to tackle the challenge by taking RTES development into a higher level of abstraction, by using models at the center of the development process. MBD permits automatic treatments of these models with dedicated tools like for instance synthesis of system's application by automatic code generation.…”
Section: To Cite This Versionmentioning
confidence: 99%
“…These levels of abstraction support refinement of goals and obstacles and establishment of the obstruction and contribution link among them. The refinement is fulfilled through vertical abstraction so that goals are traced by the control action for their satisfaction [SPHP02]. The more goals and risks are refined, the better it can support the risk management at early stage.…”
Section: Levels Of Abstractionmentioning
confidence: 99%
“…Artifacts are the deliverables that are produced, modified and used by a sequence of tasks as a part of the risk specification. It includes content that reflects according to the concept of a specific domain, precisely defining the used elements and their relation for specific description techniques [SPHP02,Sch]. The concept defines the elements as attribute of a specific artifact and their dependencies with other elements from another concept.…”
Section: Generic Process Modelmentioning
confidence: 99%