| 1. |
- Gustafsson, Jan, et al.
(författare)
-
ALL-TIMES - a European Project on Integrating Timing Technology
- 2008
-
Ingår i: Communications in Computer and Information Science, Volume 17. - Berlin, Heidelberg : Springer Berlin Heidelberg. - 9783540884781 ; , s. 445-459
-
Konferensbidrag (refereegranskat)abstract
- ALL-TIMES is a research project within the EC 7th Framework Programme. The project concerns embedded systems that are subject to safety, availability, reliability, and performance requirements. Increasingly, these requirements relate to correct timing. Consequently, the need for appropriate timing analysis methods and tools is growing rapidly. An increasing number of sophisticated and technically mature timing analysis tools and methods are becoming available commercially and in academia. However, tools and methods have historically been developed in isolation, and the potential users are missing a process-related and continuous tool- and methodology-support. Due to this fragmentation, the timing analysis tool landscape does not yet fully exploit its potential.The ALL-TIMES project aims at: combining independent research results into a consistent methodology, integrating available timing tools into a single framework, and developing new timing analysis methods and tools where appropriate.ALL-TIMES will enable interoperability of the various tools from leading commercial vendors and universities alike, and develop integrated tool chains using as well as creating open tool frameworks and interfaces. In order to evaluate the tool integrations, a number of industrial case studies will be performed.This paper describes the aims of the ALL-TIMES project, the partners, and the planned work.
|
|
| 2. |
|
|
| 3. |
|
|
| 4. |
- Schordan, Markus, et al.
(författare)
-
Evaluation and Reproducibility of Program Analysis and Verification (Track Introduction)
- 2016
-
Ingår i: Leveraging applications of formal methods, verification and validation. - Cham : Springer. - 9783319471662 - 9783319471655 ; , s. 191-194
-
Konferensbidrag (refereegranskat)abstract
- Manual inspection of complex software is costly and error prone. Techniques and tools that do not require manual inspection are in dire need as our software systems grow at a rapid rate. This track is concerned with the methods of comparative evaluation of program analyses and the tools that implement them. It also addresses the question how program properties that have been verified can be represented such that they remain reproducible and reusable as intermediate results for other analyses and verification phases. In particular, it is of interest how different tools can be combined to achieve better results than with only one of those tools alone.
|
|
| 5. |
- Schordan, Markus, et al.
(författare)
-
Evaluation and reproducibility of program analysis (Track Introduction)
- 2014
-
Ingår i: Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications. - Berlin, Heidelberg : Springer. - 9783662452301 - 9783662452318 ; , s. 479-481
-
Konferensbidrag (refereegranskat)abstract
- Today’s popular languages have a large number of different language constructs and standardized library interfaces. The number is further increasing with every new language standard. Most published analyses therefore focus on a subset of such languages or define a language with a few essential constructs of interest. More recently, program-analysis competitions [4,6,7,1] aim to evaluate comparatively implemented analyses for a given set of benchmarks. The comparison of the analyses focuses on various aspects: (a) the quality of established structures and automata describing the behavior of the analyzed program, (b) the verification of various specified program properties, (c) the impact on a client analysis of particular interest, and (d) the impact of analysis precision on program optimizations.
|
|
| 6. |
|
|
