1,348 Hits in 9.7 sec

A Tool for Automated Inspection of Software Design Documents and Its Empirical Evaluation in an Aviation Industry Setting

M. Evren Coskun, M. Melta Ceylan, Kadir Yigitozu, Vahid Garousi
2016 2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW)  
We present in this paper the features of the tool, its development details and its initial evaluation for inspecting the design documents of three real systems in the company.  ...  (TAI), a tool named AutoInspect was developed to (semi-) automate the inspection of software design documents and, as a result, to increase the efficiency and effectiveness of the inspection process.  ...  , Özkan Mert Öztürk, and Osman Tayfun Yelim.  ... 
doi:10.1109/icstw.2016.12 dblp:conf/icst/CoskunCYG16 fatcat:urusw3nwxnhrdg3u4vjfhlkite

Applicability of Usability Evaluation Techniques to Aviation Systems

Michael Clamann, David B. Kaber
2004 The International journal of aviation psychology  
Recommendations are made of usability evaluation techniques, or combinations of techniques, most appropriate for evaluating complex systems in aviation technology.  ...  This article identifies the special requirements of the aviation domain that will affect a usability evaluation and the characteristics of evaluation methods that may make them effective in this context  ...  theoretically and empirically defensible, for which threshold values can be set.  ... 
doi:10.1207/s15327108ijap1404_4 fatcat:njzvkrbkhbel3b5b5lpp24pola


Lisa Whittaker
2018 The Journal of Air Transport Studies (JATS)  
Aviation safety is key, but it is certainly not a new goal. The purpose of this paper is to compare the two programs, MSG-3 and SMS.  ...  The goal was to develop a system of evaluation for scheduled maintenance by using decision logic. This was MSG-1. As theory evolved, MSG-2 brought process orientation and failure modes analysis.  ...  Safety has always been a high-level priority in the aviation industry. The MSG-3 program set the precedent for SMS in terms of standardizing safety reporting and risk analysis of aviation technology.  ... 
doi:10.38008/jats.v9i1.28 fatcat:ithoubj7nna7pdr2qwlzmohhfa

A Method Towards Smart Manufacturing Capabilities and Performance Measurement

Qing Xia, Chunxu Jiang, Chuan Yang, Xuesong Zheng, Xu Pan, Yong Shuai, Shengjun Yuan
2019 Procedia Manufacturing  
In this paper, an empirical method is proposed to measure the smart manufacturing capabilities and performances of a company.  ...  In this paper, an empirical method is proposed to measure the smart manufacturing capabilities and performances of a company.  ...  Acknowledgements The authors gratefully acknowledge the financial support of the Smart Manufacturing Projects from MIIT.  ... 
doi:10.1016/j.promfg.2020.01.415 fatcat:mrtf33lwjzeihk6obnqlzdzi3q

An extended systematic literature review on provision of evidence for safety certification

Sunil Nair, Jose Luis de la Vara, Mehrdad Sabetzadeh, Lionel Briand
2014 Information and Software Technology  
As a major finding of the review, the results strongly suggest the need for more practitioner-oriented and industry-driven empirical studies in the area of safety certification.  ...  Context: Critical systems in domains such as aviation, railway, and automotive are often subject to a formal process of safety certification.  ...  Verification Laboratory), and from the Research Council of Norway under Certus SFI.  ... 
doi:10.1016/j.infsof.2014.03.001 fatcat:4np4lepiffabxbkspqrwfumhrm

An Assessment of Avionics Software Development Practice: Justifications for an Agile Development Process [chapter]

Geir K. Hanssen, Gosse Wedzinga, Martijn Stuip
2017 Lecture Notes in Business Information Processing  
An error in the software of a safety-critical avionic system could lead to a catastrophic event, such as multiple deaths and loss of the aircraft.  ...  Based on the results of three activities: (1) a literature study on industrial experience with the use of agile methods in a DO-178 context, (2) an expert assessment of the DO-178 objectives, and (3) a  ...  The research leading to these results has received funding An Assessment of Avionics Software Development Practice  ... 
doi:10.1007/978-3-319-57633-6_14 fatcat:wvcjz7w4nnekxh6olt53efbt3y

Software traceability: trends and future directions

Jane Cleland-Huang, Orlena C. Z. Gotel, Jane Huffman Hayes, Patrick Mäder, Andrea Zisman
2014 Proceedings of the on Future of Software Engineering - FOSE 2014  
Required in safety-critical systems by many certifying bodies, such as the USA Federal Aviation Authority, software traceability is an essential element of the software development process.  ...  In practice, traceability is often conducted in an ad-hoc, after-the-fact manner and, therefore, its benefits are not always fully realized.  ...  Acknowledgments Work on this paper was partially funded by NSF Grants CCF-1319680 (Huang), CNS-0959924 (Hayes,Huang), and the German BMBF grant 16V0116 (Mäder).  ... 
doi:10.1145/2593882.2593891 dblp:conf/icse/Cleland-HuangGHMZ14 fatcat:mxsvacsro5a6piw2uiif7juepm

Orchestrating Tool Chains for Model-based Systems Engineering with RCE [article]

Jan Flink and Robert Mischke and Kathrin Schaffert and Dominik Schneider and Alexander Weinert
2022 arXiv   pre-print
When using multiple software tools to analyze, visualize, or optimize models in MBSE, it is often tedious and error-prone to manually coordinate the execution of these tools and to retain their respective  ...  We present RCE, an application developed at the German Aerospace Center that supports engineers in developing and orchestrating the execution of complex tool chains.  ...  We say that the individual software tools form a tool chain in this case. Consider, e.g., the evaluation of an airplane model in a given scenario.  ... 
arXiv:2207.04865v1 fatcat:dhnhupyoj5gtrbyce776kgjgny

Analysis of Aircraft Maintenance Related Accidents and Serious Incidents in Nigeria

Khadijah Habib, Cengiz Turkoglu
2020 Aerospace (Basel)  
of this safety critical aspect of the aviation industry, create awareness amongst the relevant stakeholders and seek possible mitigating factors.  ...  An inter-rater concordance value was used to ascertain research accuracy after evaluation of the data output by subject matter experts.  ...  Analysis of SME Survey The NVivo 12 plus is a qualitative data analysis software and it was the primary software used for survey analysis.  ... 
doi:10.3390/aerospace7120178 fatcat:sl7vh3l3sbfjlmipehrbf2shtm

Policy, Regulations and Standards in Prognostics and Health Management

Kai Goebel, Ravi Rajamani
2021 International Journal of Prognostics and Health Management  
This paper provides an overview of the current regulations, policies, and standards in the field of Prognostics and Health Management.  ...  As the field of PHM matures, it needs to be aware of the regulations, policies, and standards that will both impose boundaries as well as provide guidance for operations.  ...  Acknowledgement This work was in part supported by the NASA ARMD/AOSP/SWS project during Kai Goebel'  ... 
doi:10.36001/ijphm.2021.v12i1.2908 fatcat:em5zhfb5jnc47fvc2lbwzsjaem

New Opportunities for Integrated Formal Methods [article]

Mario Gleirscher, Simon Foster, Jim Woodcock
2019 arXiv   pre-print
Based on these opportunities and threats, we develop an agenda for fundamental and empirical research on integrated formal methods and for successful transfer of validated research to RAS assurance.  ...  Formal methods have provided approaches for investigating software engineering fundamentals and also have high potential to improve current practices in dependability assurance.  ...  Acknowledgements: We would like to thank Michael Butler, Ana Cavalcanti, John Fitzgerald, Cliff Jones, and Peter Gorm Larsen for very helpful feedback and discussions on the direction of this work.  ... 
arXiv:1812.10103v3 fatcat:rh3fcilrubfpje6k2sjdilg4ba

Maps of Lessons Learnt in Requirements Engineering: A Research Preview [chapter]

Ibtehal Noorwali, Nazim H. Madhavji
2013 Lecture Notes in Computer Science  
Such maps would thus be: (a) a driver for research to "light up" the darker areas of RE and (b) a guide for practice to benefit from the brighter areas.  ...  Keywords: lessons learnt in requirements engineering, lesson maps, software engineering, software quality, empirical study. ii I would also like to thank my friends and colleagues: Avi Walia, Quanjun Yin  ...  Acknowledgements First and foremost, my sincere thanks go to Professor Nazim Madhavji for his continuous guidance, supervision, and encouragement during the course of my research.  ... 
doi:10.1007/978-3-642-37422-7_9 fatcat:m67nibzpmna6rmedkg2rmy3zwu

Improved Usability of Aviation Automation Through Direct Manipulation and Graphical User Interface Design

David B. Kaber, Jennifer M. Riley, Kheng-Wooi Tan
2002 The International journal of aviation psychology  
This article takes a systematic approach toward the usability analysis of MCDU design; specifically it considers the application of foundational usability principles to aviation automation.  ...  Because this interaction plays an important role in ensuring aircraft safety, the MCDU should be designed to provide intuitive interfaces for ease of learning and use and to support pilot task performance  ...  The present usability inspection involved 7 human factors specialists who participated in a group expert evaluation of the MCDU and its functions. 3 judges were working toward masters degrees in industrial  ... 
doi:10.1207/s15327108ijap1202_4 fatcat:diaii5sjl5eezple6ih4gp5qj4

Making the Case for a Model-Based Definition of Engineering Materials

David U. Furrer, Dennis M. Dimiduk, James D. Cotton, Charles H. Ward
2017 Integrating Materials and Manufacturing Innovation  
The associated standards, product control documents, and testing data provided a certifiable material definition, so as to minimize risk and simplify procurement of materials during the design, manufacture  ...  For over 100 years, designers of aerospace components have used simple requirement-based material and process specifications.  ...  , and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.  ... 
doi:10.1007/s40192-017-0102-7 fatcat:wgwmdfl3kzg7biffy5ziufe5f4

Planning the Unplanned Experiment: Towards Assessing the Efficacy of Standards for Safety-Critical Software

Patrick Graydon, Michael Holloway
2016 Journal of System Safety  
While software in industries such as aviation has a good safety record, little is known about whether standards for software in other safety-critical applications "work" — or even what that means.  ...  It is often implicitly argued that software is fit for safety-critical use because it conforms to an appropriate standard.  ...  His primary professional interests concern epistemic issues influencing the level of confidence that may be justifiably placed in the safety of software-intensive systems.  ... 
doi:10.56094/jss.v52i1.138 fatcat:gbrdh6invragrd4p2kkurl2i6m
« Previous Showing results 1 — 15 out of 1,348 results