Search for dissertations about: "formal system"

Showing result 21 - 25 of 460 swedish dissertations containing the words formal system.

  2. 21. Towards Early Validation and Verification of System Behaviour with Heterogenous Models in Systems Engineering

    Author : Johan Cederbladh; Antonio Cicchetti; Jagadish Suryadevara; Raffaela Mirandola; Mälardalens universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer Science; datavetenskap;

    Abstract : Systems Engineering (SE) is an established paradigm for developing complex systems across several domains. As systems are becoming more complex, partly due to the increase in software-related considerations, traditional methods of SE are becoming less effective and struggle to handle the development complexity of modern systems, and more recently, the shift towards model-centric development is taking over and becoming the standard practice. READ MORE

  4. 22. A transformational approach to formal digital system design

    Author : Mats Larsson; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : The continuing development in electronic technology has made it possible to fit more and more functionality on a single chip, thus allowing digital systems to become increasingly complex. This has led to a need for better synthesis and verification methods and tools to manage this complexity.Formal digital system design is one such method. READ MORE

  5. 23. Extended certificate management system : design and protocols

    Author : Nada Kapidzic Cicovic; KTH; []
    Keywords : ;

    Abstract : This thesis presents an Extended Certificate ManagementSystem (ECMS), a possible solution for a global certificationinfrastructure. The system is based on a combined trust modelthat interconnects different types of security domains, fromindividual users, small organisations to arbitrarily complexorganisations. READ MORE

  6. 24. Advancing concurrent system verification : Type based approach and tools

    Author : Ramunas Gutkovas; Johannes Borgström; Björn Victor; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap; Computer Science;

    Abstract : Concurrent systems, i.e., systems of parallel processes, are nearly ubiquitous and verifying the correctness of such systems is becoming an important subject. Many formalisms were invented for such purpose, however, new types of systems are introduced and there is a need for handling larger systems. READ MORE

  7. 25. A Safety-centered Planning-time Framework for Automated Process Compliance Checking

    Author : Julieth Patricia Castellanos Ardila; Barbara Gallina; Faiz UL Muram; Ricardo Colomo Palacios; Mälardalens högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Automated Compliance Checking; Safety-critical Systems; Process Reference Models; Industry Standards; Formal Contract Logic; SPEM 2.0.; Computer Science; datavetenskap;

    Abstract : Safety-critical systems, whose failure could lead to catastrophic consequences, are everywhere. Not only environments with high-risk functions, e.g., nuclear power plants, are safety-critical systems. READ MORE