This paper presents and discusses the foundations on which the analog and mixed-signal
extensions of SystemC, named SystemC-AMS, will be developed. First, requirements from …

In model-based engineering of embedded systems, manual validation activities such as
reviews and inspections are needed to ensure that the system under development satisfies …

To ensure fulfilling stakeholder wishes, it is crucial to validate the documented requirements.
This is often complicated by the fact that the wishes and intentions of different stakeholders …

Model driven design and development of real-time embedded systems has been gaining a
lot of attention in the recent past. It is imperative for a hard real-time embedded system to …

There have been several model based approaches used in the recent past for alleviating
complexity in design, development and test case generation for real-time embedded …

In this paper, we describe a technique to design UML-based software models for MPSoC
architecture, which focuses on the development of the platform specific model of embedded …

This paper describes a model-based method to evaluate performance of embedded
systems. The core technology of this modeling method is reverse modeling based on …

Unified Modeling Language (UML) 2.0 is emerging in the area of modeling the design of
embedded system. The most common implementation for the embedded-system models has …

In this article paper entitled" From Play-In Scenarios to Code: An Achievable Dream", David
Harel presented a development schema that makes it possible to go from high-level user …

This paper describes a system-level modeling method in UML for performance evaluation of
embedded systems. The core technology of this modeling method is reverse modeling …