{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T20:18:56Z","timestamp":1772569136500,"version":"3.50.1"},"reference-count":44,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2021,1,4]],"date-time":"2021-01-04T00:00:00Z","timestamp":1609718400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100001858","name":"Swedish Governmental Agency for Innovation Systems","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100001858","id-type":"DOI","asserted-by":"crossref"}]},{"name":"NFFP7 project","award":["# 2017-04892"],"award-info":[{"award-number":["# 2017-04892"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2021,3,31]]},"abstract":"<jats:p>\n            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\n            <jats:italic>layers<\/jats:italic>\n            to\n            <jats:italic>orthogonalize<\/jats:italic>\n            the many aspects of system behavior, yet study their interaction\n            <jats:italic>in tandem<\/jats:italic>\n            . 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\n            <jats:italic>projection<\/jats:italic>\n            of certain layers of interest, the isolated analysis and\n            <jats:italic>refinement<\/jats:italic>\n            on projections, and the seamless\n            <jats:italic>reconstruction<\/jats:italic>\n            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.\n          <\/jats:p>","DOI":"10.1145\/3424667","type":"journal-article","created":{"date-parts":[[2021,1,4]],"date-time":"2021-01-04T14:49:48Z","timestamp":1609771788000},"page":"1-27","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["ForSyDe-Atom"],"prefix":"10.1145","volume":"20","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1666-1316","authenticated-orcid":false,"given":"George","family":"Ungureanu","sequence":"first","affiliation":[{"name":"KTH Royal Institute of Technology, Kista, Sweden"}]},{"given":"Jos\u00e9 Edil Guimar\u00e3es De","family":"Medeiros","sequence":"additional","affiliation":[{"name":"University of Bras\u00edlia, Brazil"}]},{"given":"Timmy","family":"sundstr\u00f6m","sequence":"additional","affiliation":[{"name":"Saab AB, Sweden"}]},{"given":"Ingemar","family":"S\u00f6derquist","sequence":"additional","affiliation":[{"name":"Saab AB, Sweden"}]},{"given":"Anders","family":"\u00c5hlander","sequence":"additional","affiliation":[{"name":"Saab AB, Gothenburg, Sweden"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4859-3100","authenticated-orcid":false,"given":"Ingo","family":"Sander","sequence":"additional","affiliation":[{"name":"KTH Royal Institute of Technology, Sweden"}]}],"member":"320","published-online":{"date-parts":[[2021,1,4]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"[n.d.]. ForSyDe-Atom API. Retrieved from https:\/\/forsyde.github.io\/forsyde-atom\/api\/.  [n.d.]. ForSyDe-Atom API. Retrieved from https:\/\/forsyde.github.io\/forsyde-atom\/api\/."},{"key":"e_1_2_1_2_1","volume-title":"Hardware Synthesis in ForSyDe. Master\u2019s thesis","author":"Acosta Alfonso","unstructured":"Alfonso Acosta . 2007. Hardware Synthesis in ForSyDe. Master\u2019s thesis . KTH Royal Institute of Technology . Alfonso Acosta. 2007. Hardware Synthesis in ForSyDe. Master\u2019s thesis. KTH Royal Institute of Technology."},{"key":"e_1_2_1_3_1","volume-title":"Guidelines for development of civil aircraft and systems. SAE International","author":"A.","year":"2010","unstructured":"ARP4754 A. 2010. Guidelines for development of civil aircraft and systems. SAE International ( 2010 ). ARP4754A. 2010. Guidelines for development of civil aircraft and systems. SAE International (2010)."},{"key":"e_1_2_1_4_1","volume-title":"Guidelines and methods for conducting the safety assessment process on civil airborne system and equipment. SAE International","year":"1996","unstructured":"ARP4761. 1996. Guidelines and methods for conducting the safety assessment process on civil airborne system and equipment. SAE International ( 1996 ). ARP4761. 1996. Guidelines and methods for conducting the safety assessment process on civil airborne system and equipment. SAE International (1996)."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1177\/0037549716659753"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359579"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1561\/1000000053"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"key":"e_1_2_1_9_1","volume-title":"Programming in Haskell","author":"Hutton Graham","unstructured":"Graham Hutton . 2016. Programming in Haskell ( 2 nd ed.). Cambridge University Press , USA. Graham Hutton. 2016. Programming in Haskell (2nd ed.). Cambridge University Press, USA.","edition":"2"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461348"},{"key":"e_1_2_1_12_1","volume-title":"Muller","author":"Box G. E. P.","year":"1958","unstructured":"G. E. P. Box and Mervin E . Muller . 1958 . A note on the generation of random normal deviates. Ann. Math. Statist . 29, 2 (06 1958), 610--611. G. E. P. Box and Mervin E. Muller. 1958. A note on the generation of random normal deviates. Ann. Math. Statist. 29, 2 (06 1958), 610--611."},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1988042.1988046"},{"key":"e_1_2_1_14_1","volume-title":"Proceedings of the 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE\u201917)","author":"Cola\u00e7o J.","unstructured":"J. Cola\u00e7o , B. Pagano , and M. Pouzet . 2017. SCADE 6: A formal language for embedded critical software development (invited paper) . In Proceedings of the 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE\u201917) . 1--11. J. Cola\u00e7o, B. Pagano, and M. Pouzet. 2017. SCADE 6: A formal language for embedded critical software development (invited paper). In Proceedings of the 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE\u201917). 1--11."},{"key":"e_1_2_1_15_1","volume-title":"Algorithmic Skeletons: Structured Management of Parallel Computation. Pitman London.","author":"Cole Murray I.","year":"1989","unstructured":"Murray I. Cole . 1989 . Algorithmic Skeletons: Structured Management of Parallel Computation. Pitman London. Murray I. Cole. 1989. Algorithmic Skeletons: Structured Management of Parallel Computation. Pitman London."},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2018.8342126"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.558710"},{"key":"e_1_2_1_18_1","volume-title":"Principles of Modeling","author":"Edwards Stephen A.","unstructured":"Stephen A. Edwards . 2018. On determinism . In Principles of Modeling . Springer , 240--253. Stephen A. Edwards. 2018. On determinism. In Principles of Modeling. Springer, 240--253."},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10766-017-0490-5"},{"key":"e_1_2_1_20_1","volume-title":"Patterns and Skeletons for Parallel and Distributed Computing, Fethi A","author":"Fischer J\u00f6rg","unstructured":"J\u00f6rg Fischer , Sergei Gorlatch , and Holger Bischof . 2003. Foundations of data-parallel skeletons . In Patterns and Skeletons for Parallel and Distributed Computing, Fethi A . Rabhi and Sergei Gorlatch (Eds.). Springer , London . J\u00f6rg Fischer, Sergei Gorlatch, and Holger Bischof. 2003. Foundations of data-parallel skeletons. In Patterns and Skeletons for Parallel and Distributed Computing, Fethi A. Rabhi and Sergei Gorlatch (Eds.). Springer, London."},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1774088.1774196"},{"key":"e_1_2_1_22_1","volume-title":"Practical Aspects of Declarative Languages","author":"Hughes John","unstructured":"John Hughes . 2007. QuickCheck testing for fun and profit . In Practical Aspects of Declarative Languages , Michael Hanus (Ed.). Springer , Berlin , 1--32. John Hughes. 2007. QuickCheck testing for fun and profit. In Practical Aspects of Declarative Languages, Michael Hanus (Ed.). Springer, Berlin, 1--32."},{"key":"e_1_2_1_24_1","unstructured":"Axel Jantsch. 2004. Modeling Embedded Systems and SoC\u2019s: Concurrency and Time in Models of Computation. Morgan Kaufmann.  Axel Jantsch. 2004. Modeling Embedded Systems and SoC\u2019s: Concurrency and Time in Models of Computation. Morgan Kaufmann."},{"key":"e_1_2_1_25_1","volume-title":"Proceedings of the 6th International Federation for Information Processing Congress (IFIP\u201974)","author":"Kahn Gilles","year":"1974","unstructured":"Gilles Kahn . 1974 . The semantics of a simple language for parallel programming . In Proceedings of the 6th International Federation for Information Processing Congress (IFIP\u201974) . 471--475. Gilles Kahn. 1974. The semantics of a simple language for parallel programming. In Proceedings of the 6th International Federation for Information Processing Congress (IFIP\u201974). 471--475."},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.898830"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/365230.365257"},{"key":"e_1_2_1_28_1","article-title":"Fundamental limits of cyber-physical systems modeling","volume":"1","author":"Lee Edward A.","year":"2016","unstructured":"Edward A. Lee . 2016 . Fundamental limits of cyber-physical systems modeling . ACM Trans. Cyber-Phys. Syst. 1 , 1, Article 3 (November 2016), 3:1--3:26 pages. Edward A. Lee. 2016. Fundamental limits of cyber-physical systems modeling. ACM Trans. Cyber-Phys. Syst. 1, 1, Article 3 (November 2016), 3:1--3:26 pages.","journal-title":"ACM Trans. Cyber-Phys. Syst."},{"key":"e_1_2_1_29_1","volume-title":"Formal Modeling and Analysis of Timed Systems, David N","author":"Lee Edward A.","unstructured":"Edward A. Lee . 2018. Models of timed systems . In Formal Modeling and Analysis of Timed Systems, David N . Jansen and Pavithra Prabhakar (Eds.). Springer International Publishing , Cham , 17--33. Edward A. Lee. 2018. Models of timed systems. In Formal Modeling and Analysis of Timed Systems, David N. Jansen and Pavithra Prabhakar (Eds.). Springer International Publishing, Cham, 17--33."},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.736561"},{"key":"e_1_2_1_31_1","volume-title":"Reactors: A deterministic model for composable reactive systems. In Cyber Physical Systems. Model-Based Design","author":"Lohstroh Marten","year":"2019","unstructured":"Marten Lohstroh , \u00cdnigo \u00cdncer Romeo , Andr\u00e9s Goens , Patricia Derler , Jeronimo Castrillon , Edward A. Lee , and Alberto Sangiovanni-Vincentelli . 2019 . Reactors: A deterministic model for composable reactive systems. In Cyber Physical Systems. Model-Based Design . Springer , 59--85. Marten Lohstroh, \u00cdnigo \u00cdncer Romeo, Andr\u00e9s Goens, Patricia Derler, Jeronimo Castrillon, Edward A. Lee, and Alberto Sangiovanni-Vincentelli. 2019. Reactors: A deterministic model for composable reactive systems. In Cyber Physical Systems. Model-Based Design. Springer, 59--85."},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796807006326"},{"key":"e_1_2_1_33_1","volume-title":"Proceedings of the 2011 Forum on Specification 8 Design Language (FDL'11)","author":"Attarzadeh Niaki Seyed Hosein","year":"2011","unstructured":"Seyed Hosein Attarzadeh Niaki and Ingo Sander . 2011 . Semi-formal refinement of heterogeneous embedded systems by foreign model integration . In Proceedings of the 2011 Forum on Specification 8 Design Language (FDL'11) . IEEE, 1--8. Seyed Hosein Attarzadeh Niaki and Ingo Sander. 2011. Semi-formal refinement of heterogeneous embedded systems by foreign model integration. In Proceedings of the 2011 Forum on Specification 8 Design Language (FDL'11). IEEE, 1--8."},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3299902.3311070"},{"key":"e_1_2_1_35_1","unstructured":"Athanasios Papoulis and S. Unnikrishna Pillai. 2002. Probability Random Variables and Stochastic Processes. Tata McGraw--Hill Education.  Athanasios Papoulis and S. Unnikrishna Pillai. 2002. Probability Random Variables and Stochastic Processes. Tata McGraw--Hill Education."},{"key":"e_1_2_1_36_1","volume-title":"Types and Programming Languages","author":"Pierce Benjamin C.","unstructured":"Benjamin C. Pierce . 2002. Types and Programming Languages ( 1 st ed.). The MIT Press . Benjamin C. Pierce. 2002. Types and Programming Languages (1st ed.). The MIT Press.","edition":"1"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2670529.2754970"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1155\/2008\/753821"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2003.819898"},{"key":"e_1_2_1_41_1","volume-title":"ForSyDe: System design using a functional language and models of computation. Handbook of Hardware\/Software Codesign","author":"Sander Ingo","year":"2017","unstructured":"Ingo Sander , Axel Jantsch , and Seyed-Hosein Attarzadeh-Niaki . 2017. ForSyDe: System design using a functional language and models of computation. Handbook of Hardware\/Software Codesign ( 2017 ), 99--140. Ingo Sander, Axel Jantsch, and Seyed-Hosein Attarzadeh-Niaki. 2017. ForSyDe: System design using a functional language and models of computation. Handbook of Hardware\/Software Codesign (2017), 99--140."},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1561\/1000000034"},{"key":"e_1_2_1_43_1","volume-title":"Foundations of Parallel Programming. Number 6","author":"Skillicorn David B.","unstructured":"David B. Skillicorn . 2005. Foundations of Parallel Programming. Number 6 . Cambridge University Press . David B. Skillicorn. 2005. Foundations of Parallel Programming. Number 6. Cambridge University Press."},{"key":"e_1_2_1_44_1","volume-title":"Introduction to Airborne Radar","author":"Stimson George W.","unstructured":"George W. Stimson . 2014. Introduction to Airborne Radar ( 3 rd ed.). SciTech Publishing . George W. Stimson. 2014. Introduction to Airborne Radar (3rd ed.). SciTech Publishing.","edition":"3"},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2018.8342019"},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2017.7927270"},{"key":"e_1_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/FDL.2019.8876905"}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3424667","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3424667","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:23:31Z","timestamp":1750202611000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3424667"}},"subtitle":["Taming Complexity in Cyber Physical System Design with Layers"],"short-title":[],"issued":{"date-parts":[[2021,1,4]]},"references-count":44,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2021,3,31]]}},"alternative-id":["10.1145\/3424667"],"URL":"https:\/\/doi.org\/10.1145\/3424667","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"value":"1539-9087","type":"print"},{"value":"1558-3465","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,1,4]]},"assertion":[{"value":"2020-02-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2020-09-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2021-01-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}