Search for dissertations about: "System code"

Showing result 1 - 5 of 620 swedish dissertations containing the words System code.

  2. 1. From Models to Code and Back : A Round-trip Approach for Model-driven Engineering of Embedded Systems

    Author : Federico Ciccozzi; Mikael Sjödin; Antonio Cicchetti; Dániel Varró; Mälardalens högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; model-driven engineering; embedded systems; code generation; extra-functional properties; back-propagation; Computer Science; datavetenskap;

    Abstract : The complexity of modern systems is continuously growing, thus demanding novel powerful development approaches.In this direction, model-driven and component-based software engineering have reached the status of promising paradigms for the development of complex systems. READ MORE

  4. 2. Dependable Distributed Control System : Redundancy and Concurrency defects

    Author : Bjarne Johansson; Thomas Nolte; Alessandro Papadopoulos; Luis Almeida; Mälardalens universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    Abstract : Intelligent devices, interconnectivity, and information exchange are characteristics often associated with Industry 4.0. A peer-to-peer-oriented architecture with the network as the system center succeeds the traditional controller-centric topology used in today's distributed control systems, improving information exchange in future designs. READ MORE

  5. 3. Norm-Regulation of Agent Systems : Instrumentalizing an algebraic approach to agent system norms

    Author : Magnus Hjelmblom; Magnus Boman; Jan Odelstad; Kim Solin; Stockholms universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Agent System; Norm-regulated; Norm-governed; Normative MAS; Normative Positions; Normative system; Transition system; Computer and Systems Sciences; data- och systemvetenskap;

    Abstract : An architecture for norm-regulated multi-agent systems based on an algebraic approach to normative systems is instrumentalized and further developed. The core of the instrumentalization is a Prolog module, which together with a Java library can be used for creating client/server-based runtime systems. READ MORE

  6. 4. Developing Methods for Modelling Procedures in System Analysis and System Dynamics

    Author : Hördur Haraldsson; Avdelningen för kemiteknik; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; System Dynamics; System Analysis; group model building; modelling procedures; innovation phases; modelling workflow; Natural science; Naturvetenskap; Technological sciences; Teknik;

    Abstract : System Thinking is the mindset of defining and confining a problem and its symptoms as well as a method for communicating system understanding. System Analysis is taking that problem apart to understand its causalities and structural arrangement. READ MORE

  7. 5. Model-checking and Model-based Testing of Automotive Embedded Systems : Starting from the System Architecture

    Author : Raluca Marinescu; Cristina Seceleanu; Bernhard Aichernig; Mälardalens högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    Abstract : Nowadays, modern vehicles are equipped with electrical and electronic systems that implement highly complex functions such as anti-lock braking or cruise control. The use of such embedded systems in the automotive domain requires a revised development process that addresses their particular features. READ MORE