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

First Page		Document Content
Date: 2018-09-30 08:43:02 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 Source URL: www.falkhowar.de Download Document from Source Website File Size: 605,85 KB Share Document on Facebook

	Microsoft Word - Gomaa-ACES2011-submitted-4August2011.docx DocID: 1qFi8 - View Document
	✲ Towards Validated Real-Time Software✲ Valérie BERTIN†, Michel POIZE, Jacques PULOU DocID: 1oUzJ - View Document
	A Safety-critical Medical Device Development using the UPP2SF Model Translation Tool MIROSLAV PAJIC, University of Pennsylvania ZHIHAO JIANG, University of Pennsylvania INSUP LEE, University of Pennsylvania DocID: 1aMyG - View Document
	BRICS Basic Research in Computer Science BRICS RSIversen et al.: Model-Checking Real-Time Control Programs Model-Checking DocID: 1atwy - View Document
	Testing activities at CISS DocID: 1ar7G - View Document