ScenarioTools is an Eclipse-based tool suite for the scenario-based modeling and analysis
of reactive systems. ScenarioTools especially targets the modeling and analysis of systems …

Software-intensive systems such as communicating cars or collaborating robots consist of
multiple interacting components, where physical or virtual relationships between …

Many software-intensive systems consist of components that interact to fulfill complex
functionality. Moreover, often many variants of such systems have to be designed at once …

The development of software‐intensive technical systems involves several engineering
disciplines like mechanical, electrical, control, and particularly software engineering. Model …

An important role of cross-layer design is to reconcile model-implementation differences,
often stemming from how the two layers are specified. This article shows how a single …

Automotive software systems often consist of multiple reactive components that must satisfy
complex and safety-critical requirements. In automotive projects, the requirements are …

Cyber-physical systems are found in many areas, eg, manufacturing or smart cities. They
consist of multiple components that cooperate to provide the desired functionality. This need …

Distributed, software-intensive systems such as automotive electronic control units have to
handle various situations employing message-based coordination. The growing complexity …

In many areas, such as automotive, healthcare, or production, we find software-intensive
systems with complex real-time requirements. To efficiently ensure the quality of these …

The development of software-intensive technical systems (eg, within the automotive
industry) involves several engineering disciplines like mechanical, electrical, control, and …