We propose a method for enhancing cybersecurity in spacecraft operations by analyzing and reducing the attack surface of flight software. We advocate for reducing complexity in the software architecture and adopting m...
详细信息
ISBN:
(纸本)9798350384529;9798350384512
We propose a method for enhancing cybersecurity in spacecraft operations by analyzing and reducing the attack surface of flight software. We advocate for reducing complexity in the software architecture and adopting more secure architectural principles to mitigate vulnerabilities and make spacecraft more resilient against cyber attacks. By utilizing a systematic approach, we scrutinize key areas, such as the real-time operating system (RTOS) and operating system abstraction layer (OSAL), and develop mitigations for issues we find. This study's findings suggest strategies for simplifying abstractions to make them more secure, addressing implementation issues, and providing supporting evidence for moving to a more resilient architectural approach.
Summary form only given. The author examines the difficulties in solving the generic problem of finding reliable, efficient, timely, and cost-contained solutions for automation problems in softwareengineering. He not...
详细信息
ISBN:
(纸本)0818608730
Summary form only given. The author examines the difficulties in solving the generic problem of finding reliable, efficient, timely, and cost-contained solutions for automation problems in softwareengineering. He notes that it is desirable to have a high-level description system that takes advantage of AI, SE, database-management systems, and graphics technologies for interactive and rapid development of functional prototypes. At the heart of such a system, there is an executable very-high-level design language which can be used in interactive, incremental, and hierarchical specification of large-scale systems.
An attempt has been made to determine whether an expert system shell can be developed while following the tenets of softwareengineering. This question has been answered in the affirmative through a review of how a gr...
详细信息
ISBN:
(纸本)0818690275
An attempt has been made to determine whether an expert system shell can be developed while following the tenets of softwareengineering. This question has been answered in the affirmative through a review of how a graduate softwareengineering class of 20 students worked together to complete such a program within a few weeks and learned more about softwareengineering in the process.
A wind turbine simulator for wind energy conversion systems is developed with a view to design, evaluate and implement an actual wind turbine controller. The simulator consists of a 125 hp induction motor which drives...
详细信息
ISBN:
(纸本)0780359577
A wind turbine simulator for wind energy conversion systems is developed with a view to design, evaluate and implement an actual wind turbine controller. The simulator consists of a 125 hp induction motor which drives a low speed generator and is driven by a 112kW variable speed drive inverter, and real time control software.
This article describes a new interaction device for surgical navigation systems - the so-called navigation mouse system. The idea is to use a tracked instrument of a surgical navigation system like a pointer to contro...
详细信息
ISBN:
(纸本)9781424441228
This article describes a new interaction device for surgical navigation systems - the so-called navigation mouse system. The idea is to use a tracked instrument of a surgical navigation system like a pointer to control the software. The new interaction system extends existing navigation systems with a microcontroller-unit. The microcontroller-unit uses the existing communication line to extract the needed 3D-information of an instrument to calculate positions analogous to the PC mouse cursor and click events. These positions and events are used to manipulate the navigation system. In an experimental setup the reachable accuracy with the new mouse system is shown.
The author describes how the extended non-first-normal-form (ENFNF) data model in combination with a recursion mechanism based on functions with implicit termination is a promising vehicle for the database part of sof...
详细信息
ISBN:
(纸本)0818620099
The author describes how the extended non-first-normal-form (ENFNF) data model in combination with a recursion mechanism based on functions with implicit termination is a promising vehicle for the database part of softwareengineeringsystems. Functions have been used primarily as a tool for implementing recursive queries. It is shown how dependencies between software objects can be modeled by objects of the ENFNF data model in a convenient and natural way. Moreover, arbitrary dependencies can be queried by functionally recursive queries in a natural way. Nevertheless, the method is not limited to softwareengineeringsystems. Implementation techniques are presented.
In this software reengineering discussion panel summary, it is assumed that the system can be understood on the following four levels: the programming language level, the control structure level, the generic algorithm...
详细信息
ISBN:
(纸本)0818620269
In this software reengineering discussion panel summary, it is assumed that the system can be understood on the following four levels: the programming language level, the control structure level, the generic algorithm level, and the problem domain level. It is noted that it is now possible to build tools which understand systems on the first three levels. There have been considerable advances in system data analysis that will lead directly to identification of abstract data types and objects. It is suggested that future progress will critically depend on the ability to represent and reason about the problem domain. The reengineeringsystems of tomorrow will require knowledge not only of softwareengineering, but more important, of particular problem domains.
Distributed, real-time and embedded (DRE) systems with high confidence demands can benefit from dynamic reconfiguration technology to adjust and reconfigure system resources at runtime in response to the running state...
详细信息
A number of disciplines, including computer science (CS), information systems, softwareengineering (SE), and computerengineering, in a variety of academic units, are concerned with the education of software professi...
详细信息
A number of disciplines, including computer science (CS), information systems, softwareengineering (SE), and computerengineering, in a variety of academic units, are concerned with the education of software professionals. However, these programs vary widely in addressing the fundamentals of software education in their respective curricula. In response to this, the Working Group on softwareengineering Education and Training (WGSEET) is developing the Guidelines for software Education. These guidelines can be used for software education in all computer-related programs, while providing a foundation for its integration into their respective curricula. The Guidelines assume that SE is essential to all software education courses, and identify 12 `components' of SE that should be, to one degree or another, in all computer-related curricula. The first task of the Guidelines development team has been to develop an undergraduate SE curriculum model using those components.
The Model Driven Architecture (MDA) initiative formulated by the Object Management Group (OMG) is intended to support the development of software-intensive systems through the transformation of models to executable co...
详细信息
The Model Driven Architecture (MDA) initiative formulated by the Object Management Group (OMG) is intended to support the development of software-intensive systems through the transformation of models to executable components and applications. Techniques and technologies that support rigorous definition of model transformations are required to realize the MDA vision. In this paper, we describe a technique for specifying pattern-based transformations of UML models consisting of class and interaction diagrams. The transformation specifications can be used to support systematic and verifiable transformations of UML models.
暂无评论