mdh.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet 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
Vise andre og tillknytning
2008 (engelsk)Inngår i: LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION, PROCEEDINGS, 2008, s. 445-459Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
2008. s. 445-459
Serie
COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE, ISSN 1865-0929 ; 17
HSV kategori
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
Konferanse
3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation Location: Porto Sani, GREECE Date: OCT 13-15, 2008
Tilgjengelig fra: 2009-09-25 Laget: 2009-09-25 Sist oppdatert: 2016-06-03bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopus

Personposter BETA

Gustafsson, JanLisper, Björn

Søk i DiVA

Av forfatter/redaktør
Gustafsson, JanLisper, Björn
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 25 treff
RefereraExporteraLink to record
Permanent link

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