Sökning: "Guillermo Rodriguez-navas"

Visar resultat 1 - 5 av 7 avhandlingar innehållade orden Guillermo Rodriguez-navas.

  1. 1. Persistent Fault-Tolerant Storage at the Fog Layer

    Författare :Zeinab Bakhshi Valojerdi; Hans Hansson; Guillermo Rodriguez-Navas; Sasikumar Punnekkat; Radu Prodan; Mälardalens högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Dependability; Fog Computing; Fault-tolerance; Containerization; Computer Science; datavetenskap;

    Sammanfattning : Clouds are powerful computer centers that provide computing and storage facilities that can be remotely accessed. The flexibility and cost-efficiency offered by clouds have made them very popular for business and web applications. The use of clouds is now being extended to safety-critical applications such as factories. LÄS MER

  3. 2. Lightweight Persistent Storage for Industrial Applications

    Författare :Zeinab Bakhshi; Hans Hansson; Guillermo Rodriguez-Navas; Fredrik Asplund; Mälardalens universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Science; datavetenskap;

    Sammanfattning : Clouds are large computer centers that offer remote access to computing and storage resources, making them popular for business and web applications. They are now being considered for use in safety-critical applications such as factories, but lack sufficient time predictability, which makes it challenging to use them in these time-sensitive applications. LÄS MER

  4. 3. Pattern-based Specification and Formal Analysis of Embedded Systems Requirements and Behavioral Models

    Författare :Predrag Filipovikj; Cristina Seceleanu; Guillermo Rodriguez-Navas; Stefania Gnesi; Mälardalens högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; pattern-based formal requirements specification; formal requirements consistency analysis; formal analysis of Simulink models; Computer Science; datavetenskap;

    Sammanfattning : Since the first lines of code were introduced in the automotive domain, vehicles have transitioned from being predominantly mechanical systems to software intensive systems. With the ever-increasing computational power and memory of vehicular embedded systems, a set of new, more powerful and more complex software functions are installed into vehicles to realize core functionalities. LÄS MER

  5. 4. Design of Assured and Efficient Safety-critical Systems

    Författare :Nesredin Mahmud; Cristina Seceleanu; Guillermo Rodriguez-Navas; Joost-Pieter Katoen; Mälardalens högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; embedded systems design; safety critical systems; real time systems; formal method; optimization; model checking; Simulink; Computer Science; datavetenskap;

    Sammanfattning : Safety-critical   systems   need   to   be   analyzed rigorously to remove software/specifications errors, that is, their requirements specifications should be unambiguous, comprehensible and consistent, and the software design should conform to the specifications, hence avoiding undesirable system failures. Currently, there is a lack of effective and scalable methods to specify and analyze requirements, and formally analyze the behavioral models of embedded systems. LÄS MER

  7. 5. Ontology-based Analysis and Scalable Model Checking of Embedded Systems Models

    Författare :Nesredin Mahmud; Cristina Seceleanu; Oscar Ljungkrantz; Guillermo Rodriguez-Navas; Riccardo Scandariato; Mälardalens högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; requirements specification; embedded systems; ontology; formal methods; simulink; sat; domain specific language; requirements boilerplates; Computer Science; datavetenskap;

    Sammanfattning : Currently, there is lack of effective and scalable methods to specify and ana-lyze requirements specifications, and verify the behavioral models of embed-ded systems. Most embedded systems requirements are expressed in naturallanguage which is flexible and intuitive but frequently ambiguous, vague andincomprehensive. LÄS MER