Experimental evaluation of software development tools for safety-critical real-time systems Export

@article{Kornecki2005, abstract = {Since the early years of computing, programmers, systems analysts, and software engineers have sought ways to improve development process efficiency. Software development tools are programs that help developers create other programs and automate mundane operations while bringing the level of abstraction closer to the application engineer. In practice, software development tools have been in wide use among safety-critical system developers. Typical application areas include space, aviation, automotive, nuclear, railroad, medical, and military. While their use is widespread in safety-critical systems, the tools do not always assure the safe behavior of their respective products. This study examines the assumptions, practices, and criteria for assessing software development tools for building safety-critical real-time systems. Experiments were designed for an avionics testbed and conducted on six industry-strength tools to assess their functionality, usability, efficiency, and traceability. The results some light on possible improvements in the tool evaluation process that can lead to potential tool qualification for safety-critical real-time systems.}, author = {Kornecki, Andrew J. and Zalewski, Janusz}, citeulike-article-id = {6081608}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/s11334-005-0013-1}, citeulike-linkout-1 = {http://www.springerlink.com/content/j4747942h55413rt}, day = {1}, doi = {10.1007/s11334-005-0013-1}, journal = {Innovations in Systems and Software Engineering}, keywords = {development, programming, software}, month = {September}, number = {2}, pages = {176--188}, posted-at = {2009-11-06 22:06:35}, priority = {2}, title = {Experimental evaluation of software development tools for safety-critical real-time systems}, url = {http://dx.doi.org/10.1007/s11334-005-0013-1}, volume = {1}, year = {2005} }

TY - JOUR ID - Kornecki2005 L3 - citeulike-article-id:6081608 N2 - Since the early years of computing, programmers, systems analysts, and software engineers have sought ways to improve development process efficiency. Software development tools are programs that help developers create other programs and automate mundane operations while bringing the level of abstraction closer to the application engineer. In practice, software development tools have been in wide use among safety-critical system developers. Typical application areas include space, aviation, automotive, nuclear, railroad, medical, and military. While their use is widespread in safety-critical systems, the tools do not always assure the safe behavior of their respective products. This study examines the assumptions, practices, and criteria for assessing software development tools for building safety-critical real-time systems. Experiments were designed for an avionics testbed and conducted on six industry-strength tools to assess their functionality, usability, efficiency, and traceability. The results some light on possible improvements in the tool evaluation process that can lead to potential tool qualification for safety-critical real-time systems. IS - 2 JF - Innovations in Systems and Software Engineering EP - 188 TI - Experimental evaluation of software development tools for safety-critical real-time systems VL - 1 SP - 176 KW - development KW - programming KW - software AU - Kornecki, Andrew AU - Zalewski, Janusz PY - 2005/09/01/ UR - http://dx.doi.org/10.1007/s11334-005-0013-1 ER -