The introduction of the functional safety standard ISO 26262 was motivated by an increasing demand to ensure reliability and correctness of safety-critical systems in the automotive industry. However, the adoption of this standard in the automotive industry is hindered by a number of obstacles. Scania is an industrial partner in the VeriSpec project which studies these obstacles and proposes relevant tools and methods compliant with academic and industrial needs. This thesis is within the scope of the VeriSpec project, and aims to address one of the project’s goals, which is to provide tool support for a pattern-based requirement formalization process. The Specification Property System (SPS) proposed by Konrad and Cheng is a patterning method that provides automatic translation of system properties into temporal logics. The SPS also helps in restricting the introduction of ambiguities and inconsistencies in system specification properties. However, the adoption of the SPS in the industry is hindered due to some issues. These issues are, a long learning curve, Constrained Natural Language (CNL) ambiguities, and the lack of tool-support for real-time SPS patterns. In this thesis, a qualitative research study with a literature survey has been performed to find and select state-of-the-art supportive methods to provide feedback on the formalized requirements’ semantics. The Scania Specifier tool has been extended and modified to support a requirement formalization process using the SPS qualitative and real-time patterns. In addition, three supportive methods that resulted from the research study have been integrated into the Specifier tool to provide different feedback options for the users. Finally, the performance of the Specifier tool and the feedback of the supportive methods have been evaluated. The outcome of the study shows that the feedback of the supportive methods helped in guaranteeing the intended behavior of the requirement developers. In addition supportive methods’ feedback enhanced user-friendliness, and aided the users in shortening the SPS learning curve. Finally, an additional outcome of the study is in the form of a number of suggestions and emerged patterns with regard to the SPS usage and supportive methods’ feedback.

No description available.

No description available.

Thesis (M.S.)--Ohio University, June, 1988. / Title from PDF t.p.

Thesis (M.S.)--Virginia Polytechnic Institute and State University, 1991. / Vita. Abstract. Includes bibliographical references (leaves 159-160). Also available via the Internet.

Thesis (M.S.)--Virginia Polytechnic Institute and State University, 1992. / Vita. Abstract. Includes bibliographical references (leaves 91-93). Also available via the Internet.

Thesis (M.Sc. (Computer Science)) -- University of Pretoria, 2007. / Includes bibliographical references ( leaves 117-120)

Dissertation (Ph.D. in Software Engineering)--Naval Postgraduate School, December 2008. / Dissertation Supervisor(s): Shing, Man-Tak ; Mun, Jonathan. "December 2008." Description based on title screen as viewed on January 29, 2009. Includes bibliographical references (p. 175-181). Also available in print.

Report (M.S.)--Virginia Polytechnic Institute and State University. M.S. 1993. / Abstract. Includes bibliographical references (leaves 63-64). Also available via the Internet.

Thesis (M.S.)--Ohio University, June, 1989. / Title from PDF t.p.