Sökning: "Stefania Gnesi"

Hittade 1 avhandling innehållade orden Stefania Gnesi.

1. 1. 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