ALL-TIMES - a European Project on Integrating Timing TechnologyShow others and affiliations
2008 (English)In: Communications in Computer and Information Science, Volume 17, 2008, p. 445-459Conference paper, Published paper (Refereed)
Abstract [en]
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.
Place, publisher, year, edition, pages
2008. p. 445-459
Series
COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE, ISSN 1865-0929 ; 17
National Category
Engineering and Technology Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-7245DOI: 10.1007/978-3-540-88479-8_31ISI: 000261596900030Scopus ID: 2-s2.0-85099426459ISBN: 978-3-540-88478-1 (print)OAI: oai:DiVA.org:mdh-7245DiVA, id: diva2:237255
Conference
3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation Location: Porto Sani, GREECE Date: OCT 13-15, 2008
2009-09-252009-09-252021-01-28Bibliographically approved