System Level Modelling for Hardware/Software Systems

Industry is facing a crisis in the design of complex hardware/software systems. Due to the increasing complexity, the gap between the generation of a product idea and the realisation of a working system is expanding rapidly. To manage complexity and to shorten design cycles, industry is forced to look at system level languages towards specification and design. In this paper we report on the system level modelling language called POOSL. The language is very expressive and is able to model dynamic hard realtime behaviour as well as static (architecture and topology) structure in an object-oriented fashion. The language integrates a process part, based on the process algebra CCS, witha data part, based on the concepts of traditionalobjectoriented programming languages. Unlike many modelling languagestoday, POOSL is equipped witha complete mathematical semantics. Currently a number of automated software tools (model editing, simulatorand compiler tools)are available. It will be shown how ...

• Type: Conference
• Year: 1998
• Where: EUROMICRO
• Authors: Jeroen Voeten, P. H. A. van der Putten, Marc Geilen, M. P. J. Stevens
• Keywords: Complex Hardware/software Systems, Dynamic Hard Realtime, EUROMICRO 1998, Level Modelling Language, Software Engineering