Paper Info
Title
SysCOLA: a framework for co-development of automotive software and system platform
Abstract
A modeling language with formal semantics is able to capture a system's functionality unambiguously, without concerning implementation details. Such a formal language is well-suited for a design process that employs formal techniques and supports hardware/software synthesis. On the other hand, SystemC is a widely used system level design language with hardware-oriented modeling features. It provides a desirable simulation framework for system architecture design and exploration. This paper presents a design framework, called SysCOLA, that makes use of the unique advantages of both a new formal modeling language, COLA, and SystemC, and allows for parallel development of application software and system platform. In SysCOLA, function design and architecture exploration are done in the COLA based modeling environment and the SystemC based virtual prototyping environment, respectively. Our concepts of abstract platform and virtual platform abstraction layer facilitate the orthogonalization of functionality and architecture by means of mapping and integration in the respective environments. As SysCOLA is targeted at the automotive domain, the whole design approach is showcased using a case study of designing an automotive system.
Year
DOI
Venue
2009
10.1145/1629911.1629924
DAC
Keywords
Field
DocType
system architecture design,function design,automotive software,system level design language,design framework,automotive system,design process,whole design approach,formal language,system platform,formal semantics,embedded system,system architecture,process design,automotive engineering,software architecture,computational modeling,computer architecture,formal specification,cola,modeling language,application software,modeling,software systems,hardware,mathematical model,system modeling
Computer architecture,COLA (software architecture),Computer science,Electronic system-level design and verification,Modeling language,SystemC,Formal specification,Software architecture,Automotive software,Virtual prototyping
Conference
ISSN
Citations 
PageRank 
0738-100X
2
0.38
References 
Authors
8
4
Name
Order
Citations
PageRank
Zhonglei Wang112010.57
Andreas Herkersdorf270388.32
Wolfgang Haberl3505.18
Martin Wechs4926.99