Sökning: "formal requirements consistency analysis"

Visar resultat 6 - 9 av 9 avhandlingar innehållade orden formal requirements consistency analysis.

  1. 6. Systematic Design and Analysis of Customized Data Management for Real-Time Database Systems

    Författare :Simin Cai; Cristina Seceleanu; Barbara Gallina; Dag Nyström; Marieke Huisman; Mälardalens högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Science; datavetenskap;

    Sammanfattning : Modern real-time data-intensive systems generate large amounts of data that are processed using complex data-related computations such as data aggregation. In order to maintain logical data consistency and temporal correctness of the computations, one solution is to model the latter as transactions and manage them using a Real-Time Database Management System (RTDBMS). LÄS MER

  3. 7. Architecture-Based Verification of Dependable Embedded Systems

    Författare :Andreas Johnsen; Kristina Lundqvist; Paul Pettersson; Birgitta Lindström; Mälardalens högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; architecture-based verification; dependable embedded systems; AADL; architecture quality assurance; UPPAAL; Computer Science; datavetenskap;

    Sammanfattning : Quality assurance of dependable embedded systems is becoming increasingly difficult, as developers are required to build more complex systems on tighter budgets. As systems become more complex, system architects must make increasingly complex architecture design decisions. LÄS MER

  4. 8. Systematic Design of Data Management for Real-Time Data-Intensive Applications

    Författare :Simin Cai; Cristina Seceleanu; Dag Nyström; Barbara Gallina; Luís Almeida; Mälardalens högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : Modern real-time data-intensive systems generate large amounts of data that are processed using complex data-related computations such as data aggregation. In order to maintain the consistency of data, such computations must be both logically correct (producing correct and consistent results) and temporally correct (completing before specified deadlines). LÄS MER

  5. 9. Tvångsvård i frihet : tillkomst, implementering och rättstillämpning av öppen psykiatrisk tvångsvård

    Författare :Liv Zetterberg; Urban Markström; Stefan Sjöström; Jorun Rugkåsa; Umeå universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; compulsory community care; community treatment orders; mental health policy; policy implementation; patient rights; social control; court rulings; autonomy;

    Sammanfattning : This thesis aims to analyze compulsory community care (CCC) as a social and normative practice in different contexts in the Swedish welfare system. The research questions are:- How can the motives to introduce CCC in Sweden and other Western countries be understood?- What happens in and between psychiatric and social service organizations when CCC is implemented?- How are the legal rights of patients protected and what forms of social control of patients is discernible in written court decisions regarding CCC?- What normative positions regarding autonomy is the CCC legislation based on?- How can CCC be understood from steering, historic and power perspectives?The four first research questions corresponds to the four research studies included in the thesis and the fifth question relates to the material as a whole. LÄS MER