2002
DOI: 10.1007/978-1-4615-0837-3
|View full text |Cite
|
Sign up to set email alerts
|

Specification and Design Methodology for Real-Time Embedded Systems

Abstract: But as for me, I trust in You, 0 LORD, I say, 'You are my God' My times are in your hand .... "-Psalm 31:14-15a To our awesome God who engineered this wondrous creation and our salvation through his son Jesus Christ; And to my beloved wife Beverly and our three incredible children

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
8
0

Year Published

2005
2005
2021
2021

Publication Types

Select...
3
3
2

Relationship

0
8

Authors

Journals

citations
Cited by 13 publications
(8 citation statements)
references
References 0 publications
0
8
0
Order By: Relevance
“…Therefore, a thorough evaluation and a detailed exploration of these novel concepts are strongly desired in an experimental setup. With an advanced progression in the design, the penalty of discovering a wrong design decision or an error in the drafted concept dramatically increases [20].…”
Section: The Venture Of Novel Technologiesmentioning
confidence: 99%
“…Therefore, a thorough evaluation and a detailed exploration of these novel concepts are strongly desired in an experimental setup. With an advanced progression in the design, the penalty of discovering a wrong design decision or an error in the drafted concept dramatically increases [20].…”
Section: The Venture Of Novel Technologiesmentioning
confidence: 99%
“…Each layer requires Models of Computation (MoC) which describe the mechanism to perform the computations [5]. Typical examples of MoCs are shared memory, Petri-Nets, and discrete events.…”
Section: Modeling Embedded Systemsmentioning
confidence: 99%
“…The SAOVR electronics package is built on the guest PC's XP system. From a technical perspective, this is not as desirable as a real time operating system (RTOS) in terms of performance guarantees (Janka ), but it allowed the use of the Windows serial RS232 COM library and the Windows threading and synchronization libraries, as well as the C++ Standard Template Library (STL). The embedded Windows PC was also already required to run the hydrophone/processor's native interface software (MAPHost).…”
Section: Materials and Proceduresmentioning
confidence: 99%