Thierry Coq - Academia.edu (original) (raw)

Papers by Thierry Coq

IEEE Software, May 1, 2012

Lecture Notes in Computer Science, 2011

Det Norske Veritas is a classification society providing standards in the Maritime and Oil&Gas in... more Det Norske Veritas is a classification society providing standards in the Maritime and Oil&Gas industries. In these industries, Information Technology (IT) usage is increasing rapidly, especially for onboard embedded automation systems, such as propulsion, navigation, steering, power management systems, life support and entertainment systems. The industry needs an increasing level of confidence to keep up with the increasing use of complex integrated software-dependent systems. The new optional process model, the Recommended Practice for Integrated Software-Dependent Systems (RP ISDS), provides practical guidance and requirements for the verification and validation disciplines, particularly in testing where the coverage is dependant of the confidence level expected by the future owner and operator of the system. In complement to traditional process models, such as CMMI and SPICE, the RP ISDS clarifies the breakdown of the system verification and validation activities to be performed...

2010 Second International Conference on Advances in System Testing and Validation Lifecycle, 2010

2010 Third International Conference on Software Testing, Verification and Validation, 2010

Information and Software Technology, 2012

2015 IEEE 39th Annual Computer Software and Applications Conference, 2015

We need standardized methods to objectively evaluate the quality of an application's source c... more We need standardized methods to objectively evaluate the quality of an application's source code. The hope is that over time, standards for doing such assessments will emerge, generalizing their use. Aiming to contribute to this standardization process, we present in this paper two elements of the SQALE (Software Quantitative Assessment based on Lifecycle Expectations) method used by DNV IT Global Services: the Quality Model and the Analysis Model. By construction, the SQALE Quality Model has two main advantages: it is organized in layers and can be understood using two different viewpoints: the point of view of the developer and the point of view of the owner or user. The SQALE Analysis Model is based on the concept of a remediation index. The purpose is to objectively rate and quantify the characteristics of a piece of software. A concrete example of the joint use of the two models is presented here.

This article presents the quality and analysis model of the SQALE assessment method of software s... more This article presents the quality and analysis model of the SQALE assessment method of software source code. It explains how an Ada quality model compliant to SQALE is implemented and the results of its application to selected software, and how the use of Ada reduces the quality debt unlike many other technologies.

ABSTRACT Det Norske Veritas is a classification society providing standards in the Maritime and O... more ABSTRACT Det Norske Veritas is a classification society providing standards in the Maritime and Oil&Gas industries. In these industries, Information Technology (IT) usage is increasing rapidly, especially for onboard embedded automation systems, such as propulsion, navigation, steering, power management systems, life support and entertainment systems. The industry needs an increasing level of confidence to keep up with the increasing use of complex integrated software-dependent systems. The new optional process model, the Recommended Practice for Integrated Software-Dependent Systems (RP ISDS), provides practical guidance and requirements for the verification and validation disciplines, particularly in testing where the coverage is dependant of the confidence level expected by the future owner and operator of the system. In complement to traditional process models, such as CMMI and SPICE, the RP ISDS clarifies the breakdown of the system verification and validation activities to be performed by the various stakeholders, simplifying and organizing the communication expectations between the various roles & responsibilities.

IEEE Software, 2012

Safety-critical software-dependent systems such as those found in the avionics, automotive, marit... more Safety-critical software-dependent systems such as those found in the avionics, automotive, maritime, and energy domains often require certification based on one or more safety standards. To demonstrate compliance with software safety standards, such as IEC 61508, suppliers must collect evidence that the certifiers can use. Without an upfront agreement between the system supplier and the certifier about the necessary evidence to collect, omissions invariably occur and must be remedied after the fact and at significant costs. The authors present a flexible approach and a supporting tool for assisting suppliers and certifiers in developing an agreement about the evidence necessary to demonstrate compliance to a safety standard. The approach is model-based-specifically, it expresses the safety standard of interest via an information model. The supporting tool, which is available online, takes this information model as input and helps system suppliers and certifiers reach a documented, consistent agreement about the safety evidence to be collected.