Zobrazeno 1 - 10
of 32
pro vyhledávání: '"Daniel Kästner"'
Publikováno v:
A Journey of Embedded and Cyber-Physical Systems ISBN: 9783030474867
A Journey of Embedded and Cyber-Physical Systems
A Journey of Embedded and Cyber-Physical Systems
We have developed and implemented the only widely used sound WCET analysis technology. The claim of soundness is a strong one, given the many necessary component techniques of WCET analysis and the need to incorporate an abstraction of the execution
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::669d3de2364372f5afab52067d49467a
https://doi.org/10.1007/978-3-030-47487-4_2
https://doi.org/10.1007/978-3-030-47487-4_2
We show that a widely used benchmark set for the comparison of static”=analysis tools exhibits an impressive number of weaknesses, and that the internationally accepted quantitative”=evaluation metrics may lead to useless results. The weaknesses
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::944c0d40f6592c72ec28f0ac6383a003
Autor:
Christoph Cullmann, Laurent Mauborgne, Gernot Gebhard, Sebastian Hahn, Thomas Karos, Daniel Kästner, Christian Ferdinand, Stephan Wilhelm
Publikováno v:
Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops ISBN: 9783030555825
SAFECOMP Workshops
SAFECOMP Workshops
The choice of the programming language is a fundamental decision to be made when defining a safety-oriented software development process. It has significant impact on code quality and performance, but also on the achievable level of safety, the devel
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::edc801bcbff0f70dd2aa2df4c31821ed
https://doi.org/10.1007/978-3-030-55583-2_7
https://doi.org/10.1007/978-3-030-55583-2_7
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030266004
SAFECOMP
SAFECOMP
In safety-critical embedded software, the absence of critical code defects has to be demonstrated. One important class of defects are runtime errors caused by undefined or unspecified behavior of the programming language, including buffer overflows o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4876eac08d3316515db7bf869446141c
https://doi.org/10.1007/978-3-030-26601-1_1
https://doi.org/10.1007/978-3-030-26601-1_1
Publikováno v:
Formal Methods ISBN: 9783319955810
FM
FM
Static code analysis can be applied to show compliance to coding guidelines, and to demonstrate the absence of critical programming errors, including runtime errors and data races. In recent years, security concerns have become more and more relevant
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7a7fc5c288f7af22bf4a3acf22229f9a
https://doi.org/10.1007/978-3-319-95582-7_41
https://doi.org/10.1007/978-3-319-95582-7_41
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319662657
SAFECOMP
SAFECOMP
We show that a widely used benchmark set for the comparison of static analysis tools exhibits an impressive number of weaknesses, and that the internationally accepted quantitative evaluation metrics may lead to useless results. The weaknesses in the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a2a3692829db54cde2646458ab1febab
https://doi.org/10.1007/978-3-319-66266-4_13
https://doi.org/10.1007/978-3-319-66266-4_13
Autor:
Christian Ferdinand, Daniel Kästner
Publikováno v:
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification ISBN: 9783319339504
RSSRail
RSSRail
Like other contemporary safety standards EN-50128 requires to identify potential functional and non-functional hazards and to demonstrate that the software does not violate the relevant safety goals. Examples of safety-relevant non-functional hazards
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::982e48c3dddc6efafeeec195ad455165
https://doi.org/10.1007/978-3-319-33951-1_14
https://doi.org/10.1007/978-3-319-33951-1_14
Publikováno v:
International Journal on Software Tools for Technology Transfer
Selecting the right computation hardware and configuration at the beginning of an industrial project is an important and highly risky task, which is usually done without much tool support, based on experience gathered from previous projects. We prese
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::adaa7aa29ec2652fb807c76dcca75539
https://doi.org/10.1007/s10009-012-0248-8
https://doi.org/10.1007/s10009-012-0248-8
Publikováno v:
Communications of the ACM. 46:41-46
Seeking to resolve many of the problems related to code size in traditional program development environments.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::96d071cdb408c13bcbc7d9a9ce8af3dd
https://doi.org/10.1145/859670.859696
https://doi.org/10.1145/859670.859696