Sökning: onr:"swepub:oai:DiVA.org:kth-293579" >
ForSyDe-Atom :
ForSyDe-Atom : Taming Complexity in Cyber Physical System Design with Layers
-
- Ungureanu, George (författare)
- KTH,Elektronik och inbyggda system
-
- De Medeiros, Jose Edil Guimaraes (författare)
- Univ Brasilia, Fac Tecnol, Dept Engn Elect, Campus Univ Darcy Ribeiro Ed, Brasilia, DF, Brazil.
-
- Sundström, Timmy (författare)
- Saab AB, Business Area Aeronaut, SE-58188 Linköping, Sweden.
-
visa fler...
-
- Soderquist, Ingemar (författare)
- Saab AB, Business Area Aeronaut, SE-58188 Linköping, Sweden.
-
- Ahlander, Anders (författare)
- Saab AB, Business Area Surveillance, SE-41289 Gothenburg, Sweden.
-
- Sander, Ingo, Professor, 1964- (författare)
- KTH,Elektronik och inbyggda system
-
visa färre...
-
(creator_code:org_t)
- 2021-01-04
- 2021
- Engelska.
-
Ingår i: ACM Transactions on Embedded Computing Systems. - : Association for Computing Machinery (ACM). - 1539-9087 .- 1558-3465. ; 20:2
- Relaterad länk:
-
https://doi.org/10.1...
-
visa fler...
-
https://dl.acm.org/d...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- We present ForSyDe-Atom, a formal framework intended as an entry point for disciplined design of complex cyber-physical systems. This framework provides a set of rules for combining several domain-specific languages as structured, enclosing layers to orthogonalize the many aspects of system behavior, yet study their interaction in tandem. We define four layers: one for capturing timed interactions in heterogeneous systems, one for structured parallelism, one for modeling uncertainty, and one for describing component properties. This framework enables a systematic exploitation of design properties in a design flow by facilitating the stepwise projection of certain layers of interest, the isolated analysis and refinement on projections, and the seamless reconstruction of a system model by virtue of orthogonalization. We demonstrate the capabilities of this approach by providing a compact yet expressive model of an active electronically scanned array antenna and signal processing chain, simulate it, validate its conformity with the design specifications, refine it, synthesize a sub-system to VHDL and sequential code, and co-simulate the generated artifacts.
Ämnesord
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Inbäddad systemteknik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Embedded Systems (hsv//eng)
Nyckelord
- Cyber-physical systems
- system design language
- models of computation
- design methodology
- modeling
- simulation
- validation
- synthesis
Publikations- och innehållstyp
- ref (ämneskategori)
- art (ämneskategori)
Hitta via bibliotek
Till lärosätets databas