Secure Migration of Legacy Applications to the Web

Karampaglis, Zisis; Mentis, Anakreon; Rafailidis, Fotios; Tsolakidis, Paschalis; Ampatzoglou, Apostolos

doi:10.1007/978-3-642-54338-8_19

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2014

2016

Publication Types

Select...

Other2

Book1

Article1

Relationship

Self Cite0

Independent4

Authors

Journals

Cited by 4 publications

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

Enabling Cross-Domain Reuse of Tool Qualification Certification Artefacts

Gallina

Kashiyarandi

Zugsbratl

et al. 2014

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. The development and verification of safety-critical systems increasingly relies on the use of tools which automate/replace/supplement complex verification and/or development tasks. The safety of such systems risks to be compromised, if the tools fail. To mitigate this risk, safety standards (e.g. DO-178C/DO330, IEC 61508) define prescriptive tool qualification processes. Compliance with these processes can be required for (re-)certification purposes. To enable reuse and thus reduce time and cost related to certification, cross-domain tool manufacturers need to understand what varies and what remains in common when transiting from one domain to another. To ease reuse, in this paper we focus on verification tools and model a cross-domain tool qualification process line. Finally, we discuss how reusable cross-domain process-based arguments can be obtained.

show abstract