Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume consists of the proceedings of the 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (ICATPN 2006). This series of conferences provides a forum for presenting the current state of researchon Petri nets and related approachesto concurrent s- tems. Both applications and theoretical developments are represented. Shorter presentations introducing novel tools or substantial enhancements to existing tools are also encouraged. Further, a range of invited talks that survey related domains are presented. ICATPN2006wasco-locatedwiththe6thInternationalConferenceonApp- cationsofConcurrencytoSystemDesign(ACSD2006).Thetwoconferenceshad common satellite events and invited speakers as well as coordinated programs to enable participants to bene?t from both conferences. The ICATPN 2006 conference as well as ACSD 2006 was organized ? by the Department of Computer Science, Abo Academi University, Turku, F- land. We would like to heartily thank the Organizing Committee, chaired by Johan Lilius, for the considerablee?ort invested to bring o? the two conferences smoothly. Detailed information about ICATPN 2006 and the related events can be found athttp://www.cs.abo.fi/atpn2006/. Thisyearwereceived93submissionsfromauthorsfrom26di?erentcountries.

Discrete mathematics --- Computer science --- Computer architecture. Operating systems --- Computer. Automation --- toegepaste informatica --- discrete wiskunde --- informatica --- software engineering --- OS (operating system) --- computernetwerken --- architectuur (informatica)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Embedded computing systems have started to carry out the key control functions in diverse domains such as telecommunications, automotive electronics, avionics and even complete industrial manufacturing lines. Traditionally, such embedded control systems have been implemented in a monolithic, centralized manner. However, distributed and parallel solutions have been steadily gaining popularity. In a distributed setup, the control task is carried out by a number of controllers distributed over the entire system and interconnected as a network by communication components such as field buses. More demanding local control applications require controllers based on parallel architectures or processors with dedicated co-processors. Distribution and parallelism in embedded system design increase the engineering challenges and demand new development methods and tools. From Model-Driven Design to Resource Management for Distributed Embedded Systems contains 16 original contributions as well as 12 invited papers by distinguished invited speakers. These papers were presented at the Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006), which was held in October 2006 in Braga, Portugal, and sponsored by the International Federation for Information Processing (IFIP). This volume covers the following very timely topics: model-driven design, test and evolution of embedded systems, timing analysis and predictability, scheduling, allocation, communication and resource management in distributed real-time systems.

Programming --- Computer architecture. Operating systems --- embedded systems --- informatica --- computerbesturingssystemen --- programmeren (informatica) --- OS (operating system)