Abstract:
Abstract- This paper deals with embedded systems modelling, mixed hardware/software codesign, and more generally structured codesign methodology for avionics systems. This methodology is based on two main concepts: multi-formalism specifications and a unified system model. The multi-formalism concept allows to combine partial specifications expressed in various formalisms. As a matter of fact, an embedded systems specification is usually spanned through more than one formalism, each one coveing one type of system functions. Partial system specifications are composed into a unified system model which also serves as a basis for hardware/software partitioning and analysis. The defined system model supports the main systemlevel concepts expressed in specifications formalisms and has lower abstract levels covering the behavioural and the register transfer levels. I.
Citations
|
197
|
Hardware-software cosynthesis for digital systems
– Gupta, DeMicheli
- 1993
|
|
102
|
A model and methodology for hardware-software codesign
– Adams, Schmitt, et al.
- 1993
|
|
74
|
The esterel synchronous programming language and its mathematical semantics
– Berry, Cosserat
- 1985
|
|
49
|
LOTOS—A formal description technique based on the temporal ordering of observational behaviour
– ISO
- 1989
|
|
34
|
SOLAR: An Intermediate Format for System-Level Modeling and Synthesis
– Jerraya, O’Brien
- 1995
|
|
7
|
Rapid Prototyping of Application Specific Signal Processors
– Richards
- 1994
|
|
3
|
A Design Methodology for Systems Specification Refinement
– Gajski, Vahid, et al.
- 1994
|
|
3
|
Working in the garden environment form conceptual programming
– Reis
- 1987
|
|
2
|
An Interactive Environment For Hardware/Software System Design at the Specification Level
– Antoniazzi
- 1990
|
|
2
|
J.Gong, "Specification and design of embedded systems
– Gajski, Narayan
- 1994
|
|
2
|
A.A.Jerraya, "A Flexible Communication Modelling Paradigm for System-level Synthesis
– O'Brien
- 1993
|
|
2
|
Integrating syntaxes and their associated semantics", USC/Information Sciences Institute
– Wile
- 1991
|
|
1
|
C.Veith, "Hardware/Software Codesign Using CODES
– Buchenrieder
- 1993
|
|
1
|
How to control the Increase in Complexity of Civil aircraft On-board Systems
– Cassigneul
|
|
1
|
Shtull-Trauring and M.Trakhtenbrot, "StateMate: A Working Environment for the Development of Complex Reactive Systems
– Harel, Namaad, et al.
- 1992
|
|
1
|
A Hardware/Software Codesign Methodology for DSP Applications
– Kalvade
- 1993
|
|
1
|
4754 "Guidelines for Certification of Highly Integrated or Complex Aircraft Systems
– ARP
- 1994
|
|
1
|
Conjunction as Composition", ACM trans. On Software engineering and methodology
– Zave, Jackson
- 1993
|
