Search for dissertations about: "formal modeling"

Showing result 21 - 25 of 89 swedish dissertations containing the words formal modeling.

  2. 21. A Resource-Aware Component Model for Embedded Systems

    Author : Aneta Vulgarakis; Ivica Crnkovic; Tiziana Margaria-Steffen; Mälardalens högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; component based software engineering; formal modeling; embedded systems; resources; analysis; behavior; component model; Computer science; Datavetenskap; Computer Science; Datavetenskap;

    Abstract : Embedded systems are microprocessor-based systems that cover a large range of computer systems from ultra small computer-based devices to large systems monitoring and controlling complex processes. The particular constraints that must be met by embedded systems, such as timeliness, resource-use efficiency, short time-to-market and low cost, coupled with the increasing complexity of embedded system software, demand technologies and processes that will tackle these issues. READ MORE

  4. 22. On the Formal Modeling of Games of Language and Adversarial Argumentation : A Logic-Based Artificial Intelligence Approach

    Author : Jenny S. Z. Eriksson Lundström; Andreas Hamfelt; Giovanni Sartor; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer and systems science; Data- och systemvetenskap;

    Abstract : Argumentation is a highly dynamical and dialectical process drawing on human cognition. Successful argumentation is ubiquitous to human interaction. READ MORE

  5. 23. Enabling Tool Support for Formal Analysis of ECA Rules

    Author : AnnMarie Ericsson; Sten F. Andler; José Júlio Alferes; Linköpings universitet; []
    Keywords : ECA rules; Timed automata; Formal veri¯cation; TECHNOLOGY; TEKNIKVETENSKAP; Teknik;

    Abstract : Rule-based systems implemented as event-condition-action (ECA) rules utilize a powerful and flexible paradigm when it comes to specifying systems that need to react to complex situation in their environment. Rules can be specified to react to combinations of events occurring at any time in any order. READ MORE

  6. 24. Managing the Complexity in Embedded and Cyber-Physical System Design : System Modeling and Design-Space Exploration

    Author : Seyed Hosein Attarzadeh Niaki; Ingo Sander; Christian Haubelt; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Abstract : To cope with the increasing complexity of embedded and cyber-physical system design, different system-level design approaches are proposed which start from abstract models and implement them using design flows with high degrees of automation. However, creating models of such systems and also formulating the mathematical problems arising in these design flows are themselves challenging tasks. READ MORE

  7. 25. Engineering Families of Software-Intensive Systems using Features, Goals and Scenarios

    Author : Magnus Eriksson; Jürgen Börstler; Klaus Schmid; Umeå universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; systems engineering; software product lines; requirements engineering; variability management; use case modeling; feature modeling; Computer science; Datavetenskap;

    Abstract : Over the last decade, software has become an integral part of many products with which it is not traditionally associated (e.g., automobiles, medical equipment, home appliances, etc.). READ MORE