2016
DOI: 10.1007/978-3-319-47169-3_11
|View full text |Cite
|
Sign up to set email alerts
|

Formally Unifying Modeling and Design for Embedded Systems - A Personal View

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
6
0

Year Published

2016
2016
2018
2018

Publication Types

Select...
3
2
1

Relationship

0
6

Authors

Journals

citations
Cited by 7 publications
(6 citation statements)
references
References 44 publications
0
6
0
Order By: Relevance
“…Moreover, an automaton introduces a set of scopes, one per state allowing to define variables that only exist when this state is active. 5 The semantics of state machines is defined by their translation to the dataflow kernel. This is done by capturing the structure of scopes with clocks based on an enumeration: one enumerated value per state and one enumerated type per state machine.…”
Section: B the Hierarchical State Machines Of Scadementioning
confidence: 99%
See 1 more Smart Citation
“…Moreover, an automaton introduces a set of scopes, one per state allowing to define variables that only exist when this state is active. 5 The semantics of state machines is defined by their translation to the dataflow kernel. This is done by capturing the structure of scopes with clocks based on an enumeration: one enumerated value per state and one enumerated type per state machine.…”
Section: B the Hierarchical State Machines Of Scadementioning
confidence: 99%
“…These foundations immediately raised interest in industries having to deal with safety-critical applications implemented in software or hardware, and in particular, those assessed by independent authorities and following certification standards [5]. This is the context in which SCADE 1 was initiated in the mid nineties, with the support of two companies, Airbus and Merlin Gerin, and in collaboration with the research laboratory VER-IMAG in Grenoble, and the software publisher VERILOG [6].…”
Section: Introductionmentioning
confidence: 99%
“…Of the remaining nine papers, Berry [4] denes programming (As an activity, programming is quite easy to dene: one writes texts or graphics that are compiled into some machine language and executed by some computer. ), but not modelling (Modeling is not as clear-cut, because it deals with many more concepts and objects.…”
Section: Elaasar and Badreddin [15]mentioning
confidence: 99%
“…We present a brief description of Type Theory, and show that the proposal is consistent with most of the requirements for such an framework put forward during ISoLA 2016 by Broy et al We then discuss some possible objections, followed by some of the wider implications of this proposal. 4 We have used the British spelling throughout the document, except in literal quotes.…”
Section: Introductionmentioning
confidence: 99%
“…These tools or languages can be classified into five classes: 1) hardware modeling, 2) architecture modeling/system-level modeling/software modeling, 3) network modeling and simulation, 4) Logical theorem based provers, 5) generic modeling & simulation. Based on the surveys [52,[220][221][222][223] and our knowledge, part of popular tools/languages are exhibited in Table 3. …”
Section: Mde Based Vandv For Dependable Self-managing Cpsmentioning
confidence: 99%