Download or read book Application of Software Tools in Embedded Computers Within Military Systems to Enhance Software Reliability Quality Assurance and Maintenance written by and published by . This book was released on 1991 with total page 10 pages. Available in PDF, EPUB and Kindle. Book excerpt: This report presents the application of the cyclomatic complexity requirement within a military system to improve reliability, quality assurance, and maintenance for the embedded computers within the 155 mm self-propelled Howitzer Improvement Program (HIP). The cyclomatic complexity requirement was used in HIP based on research and documentation described in: (1)NBS 500-99, Cyclomatic Complexity Metric and (2) 1985 Reliability and Maintainability Symposium, The Application of Software Test Tools. Results from the Joint U.S. Army - Israeli Defense Force HIP are impressive and the report highlights significant achievements within the software engineering discipline and applications within embedded computers within military systems.
Download or read book Application of Software Tools in Embedded Computers Within Military Systems to Enhance Software Reliability Quality Assurance and Maintenance written by William R. Turoczy and published by . This book was released on 1991 with total page 12 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Scientific and Technical Aerospace Reports written by and published by . This book was released on 1994 with total page 568 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Defense Management Journal written by and published by . This book was released on 1975 with total page 604 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Tools for Embedded Computing Systems Software written by and published by . This book was released on 1978 with total page 150 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Embedded Computer Systems written by United States. General Accounting Office and published by . This book was released on 1992 with total page 20 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Concepts written by and published by . This book was released on 1982 with total page 712 pages. Available in PDF, EPUB and Kindle. Book excerpt: Disseminates information concerning new developments and effective actions taken relative to the management of defense systems programs and defense systems acquisition.
Download or read book Usability of Military Standards for the Maintenance of Embedded Computer Software written by Norman Floyd Schneidewind and published by . This book was released on 1982 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: Several military software standards were examined and evaluated with respect to their applicability and usability for maintaining embedded computer software. These standards included the following: Department of the Navy Tactical Digital System Documentation Standards, SECNAVINST 3560.1; MIL-STD 1679, Navy Military Standard for Weapon System Development; and Weapon Specification 8506. These standards were discussed from three standpoints: (1) the degree to which they support the use of newer software development technologies (e.g., requirements analysis methodologies) for improving software maintenance; (2) the effect of the microcomputer and its software development environment on the application of these standards; and (3) the extent to which these standards enhance traceability (tracing the various levels of related documentation). These aspects required a reevaluation of the applicability of software standards. A recommendation is made to use the A7-E aircraft software redesign project as a model for improving (1) and (3) in the three standards. Item (2) was judged to be not relevant to the development of software standards. (Author).
Download or read book Program Manager written by and published by . This book was released on 1981 with total page 1174 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Government Reports Annual Index written by and published by . This book was released on 1991 with total page 1192 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Embedded Software for SoC written by Ahmed Amine Jerraya and published by Springer Science & Business Media. This book was released on 2005-12-30 with total page 521 pages. Available in PDF, EPUB and Kindle. Book excerpt: This title covers all software-related aspects of SoC design, from embedded and application-domain specific operating systems to system architecture for future SoC. It will give embedded software designers invaluable insights into the constraints imposed by the use of embedded software in an SoC context.
Download or read book Government Reports Announcements Index written by and published by . This book was released on 1991-09 with total page 764 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Mission critical Systems written by United States. General Accounting Office and published by . This book was released on 1992 with total page 32 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Component Based Software Development for Embedded Systems written by Colin Atkinson and published by Springer Science & Business Media. This book was released on 2005-12-12 with total page 353 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book provides a good opportunity for software engineering practitioners and researchers to get in sync with the current state-of-the-art and future trends in component-based embedded software research. The book is based on a selective compilation of papers that cover the complete component-based embedded software spectrum, ranging from methodology to tools. Methodology aspects covered by the book include functional and non-functional specification, validation, verification, and component architecture. As tools are a critical success factor in the transfer from academia-generated knowledge to industry-ready technology, an important part of the book is devoted to tools. This state-of-the-art survey contains 16 carefully selected papers organised in topical sections on specification and verification, component compatibility, component architectures, implementation and tool support, as well as non-functional properties.
Download or read book Critical Code written by National Research Council and published by National Academies Press. This book was released on 2010-11-27 with total page 160 pages. Available in PDF, EPUB and Kindle. Book excerpt: Critical Code contemplates Department of Defense (DoD) needs and priorities for software research and suggests a research agenda and related actions. Building on two prior booksâ€"Summary of a Workshop on Software Intensive Systems and Uncertainty at Scale and Preliminary Observations on DoD Software Research Needs and Prioritiesâ€"the present volume assesses the nature of the national investment in software research and, in particular, considers ways to revitalize the knowledge base needed to design, produce, and employ software-intensive systems for tomorrow's defense needs. Critical Code discusses four sets of questions: To what extent is software capability significant for the DoD? Is it becoming more or less significant and strategic in systems development? Will the advances in software producibility needed by the DoD emerge unaided from industry at a pace sufficient to meet evolving defense requirements? What are the opportunities for the DoD to make more effective use of emerging technology to improve software capability and software producibility? In which technology areas should the DoD invest in research to advance defense software capability and producibility?
Download or read book Synthesis of Embedded Software written by Sandeep Kumar Shukla and published by Springer Science & Business Media. This book was released on 2010-08-05 with total page 276 pages. Available in PDF, EPUB and Kindle. Book excerpt: Embedded software is ubiquitous today. There are millions of lines of embedded code in smart phones, and even more in systems responsible for automotive control, avionics control, weapons control and space missions. Some of these are safety-critical systems whose correctness, timely response, and reliability are of paramount importance. These requirement pose new challenges to system designers. This necessitates that a proper design science, based on "constructive correctness" be developed. Correct-by-construction design and synthesis of embedded software is done in a way so that post-development verification is minimized, and correct operation of embedded systems is maximized. This book presents the state of the art in the design of safety-critical, embedded software. It introduced readers to three major approaches to specification driven, embedded software synthesis/construction: synchronous programming based approaches, models of computation based approaches, and an approach based on concurrent programming with a co-design focused language. It is an invaluable reference for practitioners and researchers concerned with improving the product development life-cycle.
Download or read book Software Requirements for Embedded Computers written by S. Glaseman and published by RAND Corporation. This book was released on 1980 with total page 52 pages. Available in PDF, EPUB and Kindle. Book excerpt:
