Back to Results
First PageMeta Content
Real-time computing / Scheduling / Technology / Computer architecture / System software / Embedded operating systems / Automotive software / OSEK / Worst-case execution time / Real-time operating system / Uppaal Model Checker / Model checking


Checking Consistency of Real-Time Requirements on Distributed Automotive Control Software Early in the Development Process using UPPAAL Jan Toennemann1 , Andreas Rausch1 , Falk Howar2 , and Benjamin Cool3 1
Add to Reading List

Document Date: 2018-09-30 08:43:02

Open Document

File Size: 605,85 KB

Share Result on Facebook
UPDATE