This paper presents one perspective on recent developments related to software
engineering in the industrial automation sector that spans from manufacturing factory …

Abstract Model based system engineering (MBSE) is a systematic approach of modeling
which is frequently used to support requirement specification, design, verification and …

The design of modern embedded systems becomes more complex every day, due to the
increasing amount of components and distinct functionalities incorporated into a single …

CONTEXT: Model-driven code generation is being increasingly applied to enhance software
development from perspectives of maintainability, extensibility and reusability. However …

This paper presents a survey on Software Engineering techniques for the power systems
area. Our goal is to identify tools and techniques that can improve the life cycle management …

Model Based System Engineering (MBSE) approach has been frequently used for
embedded systems as it is highly supportive for early design verification. However, selection …

This work proposes an approach to generate automatically the embedded software for
distributed Cyber-Physical Systems implemented using the Robotic Operating System …

Currently, the design of distributed embedded real-time systems is growing in complexity
due to the increasing amount of distinct functionalities that a single system must perform …

Robot control systems are complex cyber-physical systems which are difficult to develop. In
this paper, we present a formal model-based automatic code synthesis method which can …

Code generation is an important part of model driven methodologies. In this paper, we
present PetriCode, a software tool for generating protocol software from a subclass of …