Sökning: "Leo Hatvani"

Hittade 1 avhandling innehållade orden Leo Hatvani.

1. 1. Formal Verification of Adaptive Real-Time Systems by Extending Task Automata

   Författare :Leo Hatvani; Paul Pettersson; Cristina Seceleanu; Brian Nielsen; Mälardalens högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; formal verification; embedded systems; timed automata; scheduling; Computer Science; datavetenskap;

   Sammanfattning : Recently, we have seen an increase in the deployment of safety critical embedded systems in rapidly changing environments, as well as requirement for on-site customizations and rapid adaptation. To address the extended range of requirements, adaptation mechanism are added to the systems to handle large number of situations appropriately. LÄS MER