mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
ALL-TIMES - a European Project on Integrating Timing Technology
Mälardalen University, School of Innovation, Design and Engineering.ORCID iD: 0000-0001-6571-0175
Mälardalen University, School of Innovation, Design and Engineering.ORCID iD: 0000-0001-5297-6548
Show others and affiliations
2008 (English)In: LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION, PROCEEDINGS, 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
Identifiers
URN: urn:nbn:se:mdh:diva-7245DOI: 10.1007/978-3-540-88479-8_31ISI: 000261596900030Scopus ID: 2-s2.0-78649875097ISBN: 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
Available from: 2009-09-25 Created: 2009-09-25 Last updated: 2016-06-03Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Gustafsson, JanLisper, Björn

Search in DiVA

By author/editor
Gustafsson, JanLisper, Björn
By organisation
School of Innovation, Design and Engineering
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 21 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf