|
|
Exploiting Segregation in Bus-Based MPSoCs to Improve Scalability of Model-Checking-Based Performance Analysis for SDFAs
Maher Fakih
,
Kim Grüttner
,
Martin Fränzle
,
Achim Rettberg
Conference papers
hal-01466674v1
|
Share
Gmail
Facebook
X
LinkedIn
More
|
|
|
Reducing Re-verification Effort by Requirement-Based Change Management
Markus Oertel
,
Achim Rettberg
Conference papers
hal-01466666v1
|
Share
Gmail
Facebook
X
LinkedIn
More
|
|
|
Embedded Systems: Design, Analysis and Verification
Gunar Schirner
,
Marcelo Götz
,
Achim Rettberg
,
Mauro C. Zanella
,
Franz J. Rammig
Books
hal-01466697v1
|
Share
Gmail
Facebook
X
LinkedIn
More
|
|
|
Compositional Timing Analysis of Real-Time Systems Based on Resource Segregation Abstraction
Philipp Reinkemeier
,
Ingo Stierand
Conference papers
hal-01466672v1
|
Share
Gmail
Facebook
X
LinkedIn
More
|
|
|
Contract-Based Compositional Scheduling Analysis for Evolving Systems
Tayfun Gezgin
,
Stefan Henkler
,
Achim Rettberg
,
Ingo Stierand
Conference papers
hal-01466683v1
|
Share
Gmail
Facebook
X
LinkedIn
More
|
|
|
Evaluating the Impact of Integrating a Security Module on the Real-Time Properties of a System
Sunil Malipatlolla
,
Ingo Stierand
Conference papers
hal-01466690v1
|
Share
Gmail
Facebook
X
LinkedIn
More
|
|
|
Fault-Tolerant Deployment of Real-Time Software in AUTOSAR ECU Networks
Kay Klobedanz
,
Jan Jatzkowski
,
Achim Rettberg
,
Wolfgang Mueller
Conference papers
hal-01466679v1
|
Share
Gmail
Facebook
X
LinkedIn
More
|