An extensible infrastructure for modeling and time analysis of predictable embedded systems
2015 (English)In: Forum on Specification and Design Languages, IEEE Computer Society, 2015Conference paper (Refereed)
Efficient design of predictable systems on top of multiprocessor-based architectures is challenging. It demands an integration effort to support system models relying on Models-of-Computation (MoC) theory, supporting real-time (RT) analysis and electronic system-level (ESL) design techniques. This paper presents a SystemC-based framework for modelling and time analysis of predictable embedded systems which aims such an integration. The framework has features for system-level design and research of predictable systems. Moreover, the framework is extensible, to enable experts from different communities to explore and assess their contributions, e.g. new schedulers, schedulability analyses, and predictable platform components, without having to rely on a physical platform. © 2014 ECSI.
Place, publisher, year, edition, pages
IEEE Computer Society, 2015.
Design Space Exploration, Performance Estimation, Predictable systems, SDF, TDMA, Time Analysis, Computation theory, Computational linguistics, Design, Specifications, System theory, Systems analysis, Time division multiple access, Electronic system level design, Models of computation, Schedulability analysis, System level design, Embedded systems
Electrical Engineering, Electronic Engineering, Information Engineering
IdentifiersURN: urn:nbn:se:kth:diva-175097DOI: 10.1109/FDL.2014.7119344ScopusID: 2-s2.0-84940525815ISBN: 9791092279078OAI: oai:DiVA.org:kth-175097DiVA: diva2:881690
17th Forum on Specification and Design Languages, FDL 2014, 14 October 2014 through 16 October 2014
QC 201512112015-12-112015-10-092015-12-11Bibliographically approved