Acquisition and structuration of knowledge of safety critical software specifications

Abstract : This paper presents the frrst results of the conception of a generic model of specifications. This model is based on knowledge acquisition and structuration from specifications folders of several automated people movers. The purpose of this research is to facilitate the transition between user's needs and the drawing up of software specifications. After having examined different standards in order to define quality criteria required for a specification, this research was carried on a real-world application, relevant in the field of transport systems: an automatic driving sub-system.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01649087
Contributor : Lip6 Publications <>
Submitted on : Monday, November 27, 2017 - 11:08:49 AM
Last modification on : Thursday, March 21, 2019 - 1:00:11 PM

Identifiers

Citation

Myriam Darricau, Habib Hadj-Mabrouk, Jean-Gabriel Ganascia. Acquisition and structuration of knowledge of safety critical software specifications. 8th IFAC Symposium on Transportation Systems, Jun 1997, Chania, Greece. pp.1151-1155, ⟨10.1016/S1474-6670(17)43976-0⟩. ⟨hal-01649087⟩

Share

Metrics

Record views

59