Including hardware/software co-design in the ASSERT model driven engineering process.

Abstract. The ASSERT project de?ned new software engineering methods and tools for the development of critical embedded real-time systems in the space domain. The ASSERT model-driven engineering process was one of the achievements of the project and is based on the concept of property- preserving model transformations. The key element of this process is that non-functional properties of the software system must be preserved during model transformations. Properties preservation is carried out through model transformations compliant with the Ravenscar Pro?le and provides a formal basis to the process. In this way, the so-called Ravenscar Computational Model is central to the whole ASSERT process. This paper describes the work done in the HWSWCO study, whose main objective has been to address the integration of the Hardware/Software co-design phase in the ASSERT process. In order to do that, non-functional properties of the software system must also be preserved during hardware synthesis. Keywords : Ada 2005, Ravenscar pro?le, Hardware/Software co-design, real- time systems, high-integrity systems, OR

The ASSERT Virtual Machine Kernel: Support for preservation of temporal properties.

The ASSERT Project1 is aimed at defining new software engineering methods and tools for the development of critical embedded real-time systems in the aerospace domain. One of its main achievements is a new model-driven software process, which is based on the concept of property-preserving model transformations. Functional models developed with appropriate tools for the application domain are embedded in containers defining component interfaces and non-functional (e.g. timing) properties in a platform-independent set of notations. The resulting model is then automatically transformed to a platform-specific model using deployment information on target computer nodes, communication channels, and software platforms. Finally, source code for each computer node is automatically generated from the platform-specific model. The key element of the ASSERT process is that non-functional properties must be preserved during all phases of model transformations. In order to ensure that properties are preserved in model transformations and that the different views of each model are consistent with each other, a common meta-model has been defined which provides a formal basis to the whole process. This meta-model is called the Ravenscar Computational Model (RCM)

A model-driven engineering process for autonomic sensor-actuator networks

Cyber-Physical Systems (CPS) are the next generation of embedded ICT systems designed to be aware of the physical environment by using sensor-actuator networks to provide users with a wide range of smart applications and services. Many of these smart applications are possible due to the incorporation of autonomic control loops that implement advanced processing and analysis of historical and real-time data measured by sensors; plan actions according to a set of goals or policies; and execute plans through actuators. The complexity of this kind of systems requires mechanisms that can assist the system?s design and development. This paper presents a solution for assisting the design and development of CPS based on Model-Driven Development: MindCPS (doMaIN moDel for CPS) solution. MindCPS solution is based on a model that provides modelling primitives for explicitly specifying the autonomic behaviour of CPS and model transformations for automatically generating part of the CPS code. In addition to the automatic code generation, the MindCPS solution offers the possibility of rapidly configuring and developing the core behaviour of a CPS, even for nonsoftware engineers. The MindCPS solution has been put into practice to deploy a smart metering system in a demonstrator located at the Technical University of Madrid

Applying a model-based methodology to develop web-based systems of systems

Systems of Systems (SoS) are emerging applications composed by subsystems that interacts in a distributed and heterogeneous environment. Web-based technologies are a current trend to achieve SoS user interaction. Model Driven Web Engineering (MDWE) is the application of Model Driven Engineering (MDE) into the Web development domain. This paper presents a MDWE methodology to include Web-based interaction into SoS development. It's composed of ten models and seven model transformations and it's fully implemented in a support tool for its usage in practice. Quality aspects covered through the traceability from the requirements to the nal code are exposed. The feasibility of the approach is validated by its application into a real-world project. A preliminary analysis of potential benets (reduction of eort, time, cost; improve of quality; design vs code ratio, etc) is done by comparison to other project as an initial hypothesis for a future planned experimentation research.Ministerio de Economía, Industria y Competitividad TIN2013-46928-C3- 3-RMinisterio de Economía, Industria y Competitividad TIN2015-71938-RED

From Model-Based to Real-Time Execution of Safety-Critical Applications: Coupling SCADE with OASIS

International audienceDeveloping embedded safety critical real-time systems and ensuring properties such as deterministic behaviour in a simple way for the application designers is a challenging task. A large number of commercial and academic real-time operating systems (RTOS) as well as model-based development environments based on synchronous languages are available. Automatic transformations from synchronous modelling languages to RTOS are important for streamlining development of real-time applications without compromising the guarantees of their safety. In this paper, we present an automatic transformation from the SCADE synchronous language into applications for the OASIS safety-oriented real-time execution platform, a multi-scale time-triggered approach. This transformation has been partially implemented and we illustrate it with an industrial case-study from the domain of medium voltage protection relays

MoVES: A Model-Driven Methodology for Vehicular Embedded Systems

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 proposed methodology discloses the opportunity of improving the cost-efficiency of the development process by providing automated support to identify viable design solutions with respect to selected non-functional requirements. To this end, it leverages the interplay of modeling languages for the vehicular domain whose integration is achieved by a suite of model transformations. An instantiation of the methodology is discussed for timing requirements, which are among the most critical ones for vehicular systems. To support the design of temporally correct systems, cooperation between EAST-ADL and the Rubus component model is opportunely built-up by means of model transformations, enabling timing-aware design and model-based timing analysis of the system. The applicability of the methodology is demonstrated as the proof of concepts on industrial use cases performed in cooperation with our industrial partners

Urban Simulation Models: Contributions as Analysis-Methodology in a Project of Urban Renewal

The recent urban transformations produced in cities indicate the need to propose new theoretical and methodological approaches in physical planning. Based on the idea of complexity, it is required to integrate, in the analysis, multiplicity of interrelated factors involved in urban development,moreover, to develop planning tools that can incorporate variables not initially considered (for example when the norms were sanctioned) and instruments that would provide assessment alternatives to planning decisions in real time. The simulation models are suggested as tools to detect the elements, relationships and the dynamics in a simplified form that allow experiencing on the results. That is to say, a theoretical position on to a computer model is translated to investigate (in an experimental way) possible solutions derived from manipulating the variables, before the phenomenon is materialized. In the case of urban planning, this condition is of particular relevance, given the importance to anticipate unwanted effects in the intervention context that may arise when urban projects are built. The paper evaluates the application of a simulation methodology,based on the dynamics of systems and the application of software that can anticipate the effects of certain decisions in an urban renewal project in the city of Córdoba, Argentina. It applies the General Systems Theory that is a contribution to the notion of complex thought and is trans-disciplinary. Based on the idea of complex and multidimensional city, the effects of a real estate development are analyzed and conclusions on the limits and possibilities of using this tool during the processes of urban management are provided.Fil: Marengo, Maria Cecilia. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional de Córdoba. Facultad de Arquitectura, Urbanismo y Diseño. Instituto de Investigación de la Vivienda; Argentin

Towards the definition of a pattern sequence for real-time applications using a model-driven engineering approach

Real-Time (RT) systems exhibit specific characteristics that make them particularly sensitive to architectural decissions. Design patterns help integrating the desired timing behaviour with the rest of the elements of the application architecture. This paper reports a pattern story that shows how a component-based design has been implemented using periodic concurrent tasks with RT requirements. This work has been done in the context of the development of robotic applications using a Model-Driven Software Development (MDSD) approach. In this context the model-to-code transformations are designed taking into account both the system requirements and the patterns that satisfy them. MDSD provides the conceptual technology for implementing a pattern-guided transition from component-based models to object-oriented implementations. The results of applying the described story of patterns are shown by an application that initializes, configures and schedules the execution of platform-specific components.This work has been partially supported by the Spanish CICYT Project EXPLORE (ref. TIN2009-08572), and the Fundación Séneca Regional Project COMPAS-R (ref. 11994/PI/09)

Possibilities of applying the E-government management concept in Serbian cities

Recent urban transformations worldwide consequentially lead to the numerous environmental problems that have to be solved by complex structure of social interest groups which have to be included in that process. This demands initiated requisitioning and modification of concepts and methodologies of planning and managing urban development. At this moment there are different models used in world wide practice, but main bases of new methods and techniques are the same. Leaving the idea of possibility of constituting the universal urban planning model lead to very productive results in developing the disciplinary methodologies. Process of transformation of traditional comprehensive urban planning model to integrated procedural pluralistic model (based on sustainable development principles) is something that can be underlined as a main characteristic of disciplinary development. The questions of decision making mechanisms and plans implementation are put in axes of conceptual and methodological considerations. Urban planning loses the classic form of making the multi level comprehensive urban plans with exact spatial and time horizon. It means, in general that planning and managing of urban development is aiming to be realistic, decentralized, strategic and problem oriented, arbitrary, not instructive, but understood as a efficient and effective process. Operational support to the this kind of approach are Decision Support IT tools, such as GIS - Geographical Information Systems or ES -Expert Systems. Usability of IT tools is based on their capability to perform fast and complicated processing of spatial data and on their flexibility towards specific real problems which are to be solved. In order to use maximum of capabilities of these tools in practice problem solving it is necessary to adjust their structure and usage to the: - actual conditions of socioeconomic of the context in which urban development planning and management is performed, - practical demands that managing of urban development has to fore fill, - all participants in urban management process, - institutional mechanisms and procedures

Industrialising Software Development in Systems Integration

Compared to other disciplines, software engineering as of today is still dependent on craftsmanship of highly-skilled workers. However, with constantly increasing complexity and efforts, existing software engineering approaches appear more and more inefficient. A paradigm shift towards industrial production methods seems inevitable. Recent advances in academia and practice have lead to the availability of industrial key principles in software development as well. Specialization is represented in software product lines, standardization and systematic reuse are available with component-based development, and automation has become accessible through model-driven engineering. While each of the above is well researched in theory, only few cases of successful implementation in the industry are known. This becomes even more evident in specialized areas of software engineering such as systems integration. Today’s IT systems need to quickly adapt to new business requirements due to mergers and acquisitions and cooperations between enterprises. This certainly leads to integration efforts, i.e. joining different subsystems into a cohesive whole in order to provide new functionality. In such an environment. the application of industrial methods for software development seems even more important. Unfortunately, software development in this field is a highly complex and heterogeneous undertaking, as IT environments differ from customer to customer. In such settings, existing industrialization concepts would never break even due to one-time projects and thus insufficient economies of scale and scope. This present thesis, therefore, describes a novel approach for a more efficient implementation of prior key principles while considering the characteristics of software development for systems integration. After identifying the characteristics of the field and their affects on currently-known industrialization concepts, an organizational model for industrialized systems integration has thus been developed. It takes software product lines and adapts them in a way feasible for a systems integrator active in several business domains. The result is a three-tiered model consolidating recurring activities and reducing the efforts for individual product lines. For the implementation of component-based development, the present thesis assesses current component approaches and applies an integration metamodel to the most suitable one. This ensures a common understanding of systems integration across different product lines and thus alleviates component reuse, even across product line boundaries. The approach is furthermore aligned with the organizational model to depict in which way component-based development may be applied in industrialized systems integration. Automating software development in systems integration with model-driven engineering was found to be insufficient in its current state. The reason herefore lies in insufficient tool chains and a lack of modelling standards. As an alternative, an XML-based configuration of products within a software product line has been developed. It models a product line and its products with the help of a domain-specific language and utilizes stylesheet transformations to generate compliable artefacts. The approach has been tested for its feasibility within an exemplarily implementation following a real-world scenario. As not all aspects of industrialized systems integration could be simulated in a laboratory environment, the concept was furthermore validated during several expert interviews with industry representatives. Here, it was also possible to assess cultural and economic aspects. The thesis concludes with a detailed summary of the contributions to the field and suggests further areas of research in the context of industrialized systems integration