Using model-based approaches for designing embedded systems helps abstract away
unnecessary details in a manner that increases the potential for easy validation and …

Despite a large body of existing literature on automatic affect recognition, there seems to be
a lack of studies investigating task and social context for the purpose of automatically …

Development of increasingly more sophisticated safety-critical embedded systems requires
new paradigms, since manual approaches are reaching their limits. Experiences have …

This paper studies the path planning for Unmanned Aerial Vehicles (UAVs) under critical
situations, where the aircraft has to execute a hard landing. Such critical situations can be …

In the context of Model Driven Engineering, models are the primary artifacts of the system
development cycle. In order to manage the complexity of systems, models are decomposed …

Abstract Cyber Physical Systems (CPS) combine digital computational systems with
surrounding physical processes. Computations are meant to control and monitor the …

This article provides an overview of current efforts in Europe for using metamodeling in the
integrated development of critical systems such as automotive electronics. It distinguishes …

Recent results in language engineering simplify the development of tool-supported
executable domain-specific modeling languages (xDSMLs), including editing (eg …

The Clock Constraint Specification Language (CCSL) is a formal polychronous language
based on the notion of logical clock. It defines a set of kernel constraints that can represent …

Abstract Cyber-Physical Systems (CPS) combine discrete computing elements together with
physical devices in uncertain environment conditions. There have been many models to …