mdh.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
ALL-TIMES - a European Project on Integrating Timing Technology
Mälardalens högskola, Akademin för innovation, design och teknik.ORCID-id: 0000-0001-6571-0175
Mälardalens högskola, Akademin för innovation, design och teknik.ORCID-id: 0000-0001-5297-6548
Visa övriga samt affilieringar
2008 (Engelska)Ingår i: LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION, PROCEEDINGS, 2008, s. 445-459Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
2008. s. 445-459
Serie
COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE, ISSN 1865-0929 ; 17
Nationell ämneskategori
Teknik och teknologier
Identifikatorer
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 (tryckt)OAI: oai:DiVA.org:mdh-7245DiVA, id: diva2:237255
Konferens
3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation Location: Porto Sani, GREECE Date: OCT 13-15, 2008
Tillgänglig från: 2009-09-25 Skapad: 2009-09-25 Senast uppdaterad: 2016-06-03Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Personposter BETA

Gustafsson, JanLisper, Björn

Sök vidare i DiVA

Av författaren/redaktören
Gustafsson, JanLisper, Björn
Av organisationen
Akademin för innovation, design och teknik
Teknik och teknologier

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 25 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf