Abstract
In this paper we present an object-oriented method for the design, verification and implementation of embedded and distributed systems. The method is called Concurrent Object Net (CON). The CON method is based upon extended statecharts which use specific message links for communication. For simulation and verification corresponding Petri nets are used. A platform abstraction framework for CON accesses hardware in optimized manner. An application example from the automotive domain is used to show further CON details.
Author supplied keywords
Cite
CITATION STYLE
Nützel, J., Däne, B., & Fengler, W. (1998). Object nets for the design and verification of distributed and embedded applications. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1388, pp. 953–962). Springer Verlag. https://doi.org/10.1007/3-540-64359-1_761
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
