Wireless Networks Subgroup: Embedded Systems Embedded systems related to wireless communications are becoming more and more widespread. They are different from other computing systems mainly because of two reasons: they interact with the physical world and are executed on machines that are not first and foremost computers. Traditional design methods are not suitable for such systems. One approach to this problem uses heterogeneous mixtures of well defined models of computation. The Ptolemy project carried out at University of California at Berkeley studies modelling and simulation of concurrent, real time embedded systems. A tool called Ptolemy II programmed in Java that allows modelling and simulation of embedded systems is the actual outcome of the Ptolemy project. Our main purposes and contributions are to formally document key parts of this tool relevant for our study and to speed up the simulation process. We expect to achieve speedup in the simulation for the inherently parallel models. We also expect to allow simulation of complex models that overflow memory by distributing memory consumption within different machines. For formal documentation, Abstract States Machines (ASM) has been chosen. It is a methodology based upon mathematics for describing simple abstract machines, which correspond to algorithms. It provides the formal foundation for specification and verification of complex dynamic systems as well as operational semantics. (Daniel Lazaro Cuadrado, Peter Koch; Anders P. Ravn, Computer Science Department, Aalborg University)
|Effektiv start/slut dato||01/06/2007 → 01/06/2007|
Udforsk forskningsemnerne, som dette projekt berører. Disse etiketter er oprettet på grundlag af de underliggende bevillinger/legater. Sammen danner de et unikt fingerprint.