22nd DASC


Book Description

The proceedings of this conference include: flight critical systems; intelligent interactive systems; software engineering; comm/nav/surveillance; air traffic management; open systems architecture; space systems; UAV & missiles; and synthetic vision and situational awareness.




Proceedings


Book Description




Red Markers, Close Air Support for the Vietnamese Airborne, 1962-1975


Book Description

Award-winning history of a segment of the Vietnam War ... From 1962 until early 1973, a handful of USAF officers and airmen directed close air support for the Vietnamese Airborne and its American advisors in MACV Advisory Team 162. This Red Marker detachment began as a single Air Liaison Officer. It grew into a combat unit of 36 personnel with a dozen aircraft before shrinking to a single officer as the United States withdrew from combat. Over the decade of its existence, less than 175 men served in the unit. Five of them died in combat. This award winning history of these forward air controllers from the beginning to the end is based on contributions from 76 men who were there.




Dreadful Lady over the Mekong Delta


Book Description

Dreadful Lady over the Mekong Delta looks at the men of No 2 Squadron and the operations they flew in the Vietnam War in their Canberra bombers. From April 1967, the squadron spent four years attacking enemy targets, many of them in the Mekong Delta region, and contending with the politics, weather, and ‘fog’ of war. The riverine operations supported by No 2 Squadron were but a small part of an allied effort to disrupt the enemy’s movement of troops and supplies to locations in South Vietnam. It was, according to one commentator, ‘a kind of guerrilla warfare conducted in a navy environment’. Bob Howe arrived in Vietnam in 1969 as a youthful Canberra navigator/bomb-aimer, but much of his time was spent as a specialist in bombing operations. His time there provided him with the firsthand experience and detailed information to write this book. This book in its original format was first published in 2016 by the RAAF’s Air Power Development Centre, filling a gap in the recording of the RAAF’s operations in Vietnam. It also describes how crews overcame the difficulties of operating in an intense Asian war in an aircraft that was designed for a completely different environment. This new edition is intended to bring the experiences and exploits of Bob Howe, No 2 Squadron and its Canberra bomber aircraft to life for a new generation of reader.







PROCEEDINGS OF THE 22ND CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2022


Book Description

The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system testing.




23rd DASC


Book Description




Aerospace America


Book Description




Rapid Prototyping Software for Avionics Systems


Book Description

The design, implementation and validation of avionics and aeronautical systems have become extremely complex tasks due to the increase of functionalities that are deployed in current avionics systems and the need to be able certify them before putting them into production. This book proposes a methodology to enable the rapid prototyping of such a system by considering from the start the certification aspects of the solution produced. This method takes advantage of the model-based design approaches as well as the use of formal methods for the validation of these systems. Furthermore, the use of automatic software code generation tools using models makes it possible to reduce the development phase as well as the final solution testing. This book presents, firstly, an overview of the model-based design approaches such as those used in the field of aeronautical software engineering. Secondly, an original methodology that is perfectly adapted to the field of aeronautical embedded systems is introduced. Finally, the authors illustrate the use of this method using a case study for the design, implementation and testing of a new generation aeronautical router.