Skip to main content
SpringerLink
Log in

Overview of Roadmapping by EternalS

  • Conference paper
Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2010)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 6416))

  • 911 Accesses

Abstract

The roadmapping activity in EternalS project focuses on developing and contributing a vision and direction for future Framework Programme research, arising from the work of a cluster of current projects towards Trustworthy Eternal Systems.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. LivingKnowledge, http://livingknowledge.europarchive.org/index.php

  2. HATS – Highly adaptable and trustworthy software using formal models, http://www.cse.chalmers.se/research/hats/

  3. Connect – Emergent Connectors for Eternal Software Intensive Networked Systems, http://connect-forever.eu/

  4. SecureChange – Security engineering for lifelong evolvable systems, http://www.securechange.eu

  5. SecurIST project, Deliverable D3.3 – ICT Security & Dependability Research beyond 2010: Final strategy (2010), http://www.securitytaskforce.eu/dmdocuments/d3_3_final_strategy_report_v1_0.pdf

  6. Trust in the Information Society, A Report of the Advisory Board RISEPTIS, http://www.think-trust.eu/riseptis.html

  7. Towards a Trustworthy Information Society: The Research Challenges, Think-Trust Deliverable D3.1C, http://www.think-trust.eu/RecommendationsReport.html

Download references

Author information

Authors and Affiliations

  1. TSSG, Waterford Institute of Technology, Ireland

    Jim Clarke & Keith Howker

Authors
  1. Jim Clarke
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Keith Howker
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute for Informatics, University of Potsdam, August-Bebel-Str. 89, 14482, Potsdam, Germany

    Tiziana Margaria

  2. Technical University of Dortmund, Otto-Hahn-Str. 14, 44227, Dortmund, Germany

    Bernhard Steffen

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Clarke, J., Howker, K. (2010). Overview of Roadmapping by EternalS. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification, and Validation. ISoLA 2010. Lecture Notes in Computer Science, vol 6416. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16561-0_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-16561-0_10

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-16560-3

  • Online ISBN: 978-3-642-16561-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation