Sökning: "System code"

Visar resultat 1 - 5 av 658 avhandlingar innehållade orden System code.

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

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

    Sammanfattning : 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. LÄS MER

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

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

    Sammanfattning : 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. LÄS MER

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

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

    Sammanfattning : 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. LÄS MER

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

    Författare :Hördur Haraldsson; Avdelningen för kemiteknik; []
    Nyckelord :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;

    Sammanfattning : 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. LÄS MER

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

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

    Sammanfattning : 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. LÄS MER