Driven by the request for increased productivity, flexibility, and competitiveness, modern
civilization increasingly has created high-performance discrete event dynamic systems …

This interdisciplinary guide explores various types of modeling methods available for
dynamical systems. It begins with the general concepts, representations, and philosophy of …

This article explores a dual approach to real-time software development. Models are written
in UML, as this is expected to be relatively easy and economic. Then models are …

In the past decade, software architecture has emerged as a major research area in software
engineering. Many architecture description languages have been proposed and some …

Software architecture study has become one of the most active research areas in software
engineering in the recent years. Although there have been many published results on …

We advocate the need for automated support to System Requirement Analysis in the
development of time-and safety-critical computer-based systems. To this end we pursue an …

ASTRAL is a formal specification language for real-time systems. It is intended to support
formal software development and, therefore, has been formally defined. The structuring …

An FMS is a typical real-time concurrent system composed of a number of computer-
controlled machine tools, automated material handling and storage systems that operate as …

In the past decade, software architecture research has mainly focused on the concept
formulation and the development of various architecture description languages. This field …

Over the last few decades, robots have been successfully used in controlled environments of
industrial settings as pre-programmed devices capable of carrying out boring and repetitive …