|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 40 occurrences of 32 keywords
|
|
|
|
|
Results
Found 18 publication records. Showing 18 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Marc Born, John M. Favaro, Olaf Kath |
Application of ISO DIS 26262 in practice.  |
EDCC-CARS  |
2010 |
DBLP DOI BibTeX RDF |
model, safety, process, traceability |
| 1 | Rolf Johansson 0002, Stefan Bunzel, Marc Graniou, Henrik Lönn, Håkan Sivencrona, Friedhelm Stappert |
A road-map for enabling system analysis of AUTOSAR-based systems. |
EDCC-CARS |
2010 |
DBLP DOI BibTeX RDF |
ISO-26262, safety, system analysis, ADL, model-based design, AUTOSAR |
| 1 | Yiannis Papadopoulos, Martin Walker, Mark-Oliver Reiser, Matthias Weber 0001, De-Jiu Chen, Martin Törngren, David Servat, Andreas Abele, Friedhelm Stappert, Henrik Lönn, L. Berntsson, Rolf Johansson 0002, Fulvio Tagliabo, Sandra Torchiaro, Anders Sandberg |
Automatic allocation of safety integrity levels. |
EDCC-CARS |
2010 |
DBLP DOI BibTeX RDF |
CENELEC standards, HiP-HOPS, ISO 26262, SIL allocation, fault tree synthesis, safety integrity levels, IEC 61508 |
| 1 | Martijn M. H. P. van den Heuvel, Reinder J. Bril, Peter van de Velde, Johan J. Lukkien |
Towards verification-based development of in-vehicle safety critical software: a case study. |
EDCC-CARS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Fotsing, Annie Geniet, Guy Vidal-Naquet |
Tree scheduling versus sequential scheduling. |
EDCC-CARS |
2010 |
DBLP DOI BibTeX RDF |
conditional statements, critical real-time systems, sequential scheduling, tree scheduling, validation |
| 1 | Jean-Charles Fabre, Olivier Guetta, Mario Trapp (eds.) |
1st Workshop on Critical Automotive Applications: Robustness & Safety, CARS 2010 (EDCC Workshop), Valencia, Spain, 27 April 2010 |
EDCC-CARS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Takaji Fujiwara, Juan Manuel Estevez, Yoshinobu Satoh, Shigeru Yamada |
A calculation method for software safety integrity level. |
EDCC-CARS |
2010 |
DBLP DOI BibTeX RDF |
calculation method, safety integrity level, software reliability and safety, software reliability growth model |
| 1 | Daniel Schneider 0001, Mario Trapp |
Conditional safety certificates in open systems. |
EDCC-CARS |
2010 |
DBLP DOI BibTeX RDF |
ad-hoc systems, conditional safety certificates, plug&safe, adaptivity, safety, open systems |
| 1 | Raul Barbosa, Johan Karlsson |
Opportunities from standardization in automotive safety assessment. |
EDCC-CARS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Jouvray, Grégoire Chartier, Nicolas François, Ismael Ripoll, Miguel Masmano, Alfons Crespo |
Enforcing trust in control automotive platforms. |
EDCC-CARS |
2010 |
DBLP DOI BibTeX RDF |
control system architecture, security, trust, AUTOSAR |
| 1 | Nassima Izerrouken, Olivier Ssi Yan Kai, Marc Pantel, Xavier Thirioux |
Use of formal methods for building qualified code generator for safer automotive systems. |
EDCC-CARS |
2010 |
DBLP DOI BibTeX RDF |
software engineering, formal verification, certification, automatic code generator, automotive systems |
| 1 | Michael Stilkerich, Daniel Lohmann, Wolfgang Schröder-Preikschat |
Memory protection at option. |
EDCC-CARS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Mitzlaff, Rüdiger Kapitza, Wolfgang Schröder-Preikschat |
Enabling mode changes in a distributed automotive system. |
EDCC-CARS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugues Cassé, Pascal Sainrat, Clément Ballabriga, Marianne De Michiel |
Experimentation of WCET computation on both ends of automotive processor range. |
EDCC-CARS |
2010 |
DBLP DOI BibTeX RDF |
real-time, static analysis, WCET, automotive |
| 1 | Johan Nordlander, Rolf Johansson, Risat Mahmud Pathan |
Unambiguous semantics in automotive timing modeling. |
EDCC-CARS |
2010 |
DBLP DOI BibTeX RDF |
modeling, synchronization, delay constraints, timing semantics |
| 1 | Dominique Bertrand, Sébastien Faucou, Yvon Trinquet |
Temporal isolation for the cohabitation of applications in automotive embedded software. |
EDCC-CARS |
2010 |
DBLP DOI BibTeX RDF |
automotive domain, temporal isolation, embedded software, RTOS |
| 1 | Artur Schiefer, Volker Gruhn, Ruslan Hrushchak |
VESBA: a middleware oriented architecture for virtualized embedded systems. |
EDCC-CARS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie-Agnès Peraldi-Frati, Arnaud Albinet |
Requirement traceability in safety critical systems. |
EDCC-CARS |
2010 |
DBLP DOI BibTeX RDF |
modeling, validation, time, safety, traceability, non-functional requirement, MARTE |
Displaying result #1 - #18 of 18 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license