Sökning: "safe start"

Visar resultat 1 - 5 av 56 avhandlingar innehållade orden safe start.

  1. 1. !secure(system) <=?=> !safe(system) : On Security and Safety of Industrial Software Systems

    Författare :Marcus Lindner; Per Lindgren; Valeriy Vyatkin; Knut Åkesson; Luleå tekniska universitet; []
    Nyckelord :ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; embedded systems; hard real-time; concurrency; model of computation; safety-critical; safety; security; industrial automation; RTFM; real-time for the masses; Embedded Systems; Inbyggda system;

    Sammanfattning : The focus of our research work is on readily accessible, embedded, real-time development with concurrency support. To this end, we develop the Real-Time For the Masses (RTFM) programming framework with a model of computation based on tasks and resources and that stipulates a timing semantics. LÄS MER

  3. 2. Mellan policy och praktik : En studie om nyanlända elevers pedagogiska och sociala inkludering i skolan

    Författare :Denis Tajic; Nihad Bunar; Anna Lund; Mirjam Hagström; Johannes Lunneblad; Stockholms universitet; []
    Nyckelord :SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; Newly arrived students; pedagogical inclusion; social inclusion; organizational models; safe start; the inclusion formula; the civil sphere; conviviality; institutional habitus; equal education; policy enactment; collectivizing strategies; barn- och ungdomsvetenskap; Child and Youth Studies;

    Sammanfattning : The overall aim of the thesis is to investigate how schools’ formal and informal structures affect the pedagogical and social inclusion of newly arrived students, as well as how newly arrived students in grades 7-9 and school staff themselves understand and handle these structures. Formal structures refer to forms of pedagogical measures for newly arrived students. LÄS MER

  4. 3. Designing safe and adaptive time-critical fog-based systems

    Författare :Nitin Desai; Sasikumar Punnekkat; Hans Hansson; Radu Dobrin; Paulo Pedreiras; Mälardalens universitet; []
    Nyckelord :ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    Sammanfattning : Safety-critical systems in industrial automation, avionics, or automotive domains demand correct, timely and predictable performance under all(including faulty) operating conditions. Fault-tolerance plays an important role in ensuring seamless system function even in the presence of failures. LÄS MER

  5. 4. Towards Development of Safe and Secure Java Card Applets

    Författare :Wojciech Mostowski; Chalmers University of Technology; []
    Nyckelord :formal methods; Java; formal specification; object-oriented development; formal verification; Dynamic Logic; UML; OCL; Java Card;

    Sammanfattning : This thesis is concerned with different aspects of Java Card application development and use of formal methods in the Java Card world. Java Card is a technology that provides means to program smart (chip) cards with (a subset of) the Java language. LÄS MER

  7. 5. Safe Intersection and Merging Coordination of Connected and Automated Vehicles

    Författare :Xiao Chen; Jonas Mårtensson; Björn Olofsson; KTH; []
    Nyckelord :ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; Electrical Engineering; Elektro- och systemteknik;

    Sammanfattning : Connected and automated vehicles (CAVs) are a transformative technology that promises to bring innovative solutions to transportation systems. One of their significant advantages is the elimination of human factors, which makes them capable of resolving the congestion problem prevalent in areas such as ramp merging points and road intersections. LÄS MER