This paper introduces a novel model-driven methodology for the software development of
real-time distributed vehicular embedded systems on single-and multi-core platforms. The …

Software in modern vehicles consists of multi-criticality functions, where a function can be
safety-critical with stringent real-time requirements, less critical from the vehicle operation …

Nowadays embedded systems are used in a broad range of domains such as avionics,
space, automotive, mobile, domestic appliances etc. Sophisticated software determines the …

The vehicular industry has exploited model-based engineering for design, analysis, and
development of single-core vehicular systems. Next generation of autonomous vehicles will …

Symmetric multiprocessing (SMP) and Time and Space Partitioning (TSP) are two
complementary paradigms for the design of multi-core-based aerospace systems. They …

Multicore embedded systems are rapidly emerging. Hardware designers are packing more
and more features into their design. Introducing heterogeneity in these systems, ie Adding …

At present, objects may be located on CORBA (Common Object Request Broker
Architecture) platforms using either the naming service or the trading service, both …

The chapter considers VIPE development environment with the main emphasis on its formal
ground. The detailed description of a formal VIPE model of computation (MoC) and the …

Multicore embedded systems are rapidly emerging. Hardware designers are packing more
and more features into their design. Introducing heterogeneity in these systems, ie, adding …

A utilização de modelos e componentes no desenvolvimento de sistemas embarcados pode
ser uma forma de otimizar o tempo do projetista e diminuir erros nas fases iniciais do …