Static configurations and slow adaption to changing requirements characterize today's
production systems. In order to cope with variable external influences, these systems need …

Static configurations and slow adaption to changing requirements characterize today's
production systems. In order to cope with variable external influences, these systems need …

In order to handle the complexity of software for automation systems of larger scale in
manufacturing nowadays procedural-oriented (eg, SCR, RTSA) and object-oriented …

Abstract Computer-Integrated Manufacturing (CIM) systems may be classified as real-time
systems. Hence, the applicability of methodologies that are developed for specifying …

Embedded real-time systems play an important role in various application areas like plant
automation, product automation or car electronics. In recent years a considerable growth in …

Distributed control systems are becoming more complex and more heterogeneous. On the
one hand, technological trends and application needs lead to an increased autonomy of the …

Predictability is considered the most distinguishing characteristic of real-time systems.
Besides that, adaptability is also a very important attribute because RT systems are usually …

In this paper we describe a methodology and accompanied tool support for the development
of parallel and distributed embedded real–time system software. The presented approach …

The authors demonstrate the usage of a formal description technique for real-time systems
called PLC-Automaton by applying this method to a real-world case study. To this end they …

Embedded real-time systems play an increasingly important role in many application areas.
Due to raising requirements on embedded systems it became a challenge to integrate …