Sökning: "Tool-chain"

Visar resultat 1 - 5 av 9 avhandlingar innehållade ordet Tool-chain.

1. 1. A Framework for Cyber-physical System Tool-chain Development : A Service-oriented and Model-based Systems Engineering Approach

   Författare :Lu Jinzhi; Martin Törngren; Vangheluwe Hans; KTH; []
   Nyckelord :Cyber-physical system development; Model-based systems engineering; Tool-chain; Domain-specific modeling; Tool-integration; Co-simulation; Systems thinking; Industriella informations- och styrsystem; Industrial Information and Control Systems;

   Sammanfattning : The development of complex Cyber-physical Systems (CPS) requires tight interactions of projects, system components, stakeholders, data and models. These models and data support component design, which are implemented by various engineering tools used by stakeholders. Effective tool integration thus relies on development of tool-chains. LÄS MER

3. 2. A Modeling Language for the Description and Development of Tool Chains for Embedded Systems

   Författare :Matthias Biehl; Törngren Martin; Hans Vangheluwe; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Tool Chain; Tool Integration; Domain-Specific Modeling Language; Generative Approach; Lifecycle Support for Embedded System Development;

   Sammanfattning : The development of embedded systems is typically supported by a number of diverse development tools. To achieve seamless tool support throughout the embedded systems development process, tool chains are constructed as software solutions that integrate the development tools. LÄS MER

4. 3. Model-Based Protocol Testing in an Erlang Environment

   Författare :Johan Blom; Bengt Jonsson; Sven-Olof Nyström; Bernhard Aichernig; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Testing; Erlang; Model-Based Testing; Symbolic Execution; Communication Protocols; Datavetenskap; Computer Science;

   Sammanfattning : Testing is the dominant technique for quality assurance of software systems. It typically consumes considerable resources in development projects, and is often performed in an ad hoc manner. This thesis is concerned with model-based testing, which is an approach to make testing more systematic and more automated. LÄS MER

5. 4. Development and Verification of Dependable Software of Cyber-Physical Systems using Time-aware Computations

   Författare :Dmitrii Drozdov; Valeriy Vyatkin; Sandeep Patil; Andrei Lobov; Luleå tekniska universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Abstract state machines; CPS; formal semantics; formal verification; IEC 61499; time-aware computations; Dependable Communication and Computation Systems; Kommunikations- och beräkningssystem;

   Sammanfattning : Wired and wireless networking is becoming a necessary part of industrial control systems’ design and is one of the reasons that required a new cyber-physical approach to modelling. The phenomenon observed in cyber-physical systems (CPS) is a variety of cross-dependencies and influences between physical processes, computational devices and communications, which needs to be taken into account at the design and verification stage. LÄS MER

7. 5. Tool Integration and Safety : A Foundation for Analysing the Impact of Tool Integrationon Non-functional Properties

   Författare :Fredrik Asplund; Martin Törngren; Jad El-khoury; Jakob Axelsson; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Tool Integration; Integrated Development Environments; Embedded Systems; Safety Standards; Certification; Qualification; Systems Thinking; System Safety; STAMP; STPA;

   Sammanfattning : The increasing complexity of embedded systems development is becoming difficult to handle with development environments based on disjoint engineering tools. Support for interactions between various engineering tools, especially through automated means, has therefore received an increased amount of attention during the last few years. LÄS MER