Model-based software engineering for an optical navigation system for spacecraft

Premium quality and innovation are the cornerstones of the leading positions of car manufacturers and suppliers in the world market. The permanently increasing complexity of in-car electronics and the rapidly growing amount of automotive software running on embedded electronic control units, places higher demands on quality assurance for the future. Quality cannot be implemented into software on embedded control units after their development. Methods for defects detection have to be constituted to automatically stop development to fix a problem before the defect continues downstream. In addition preventive actions have to be taken in respect of front-loading quality and reliability. An automatic and tool independent check of custom development rules, quality standards and enterprise wide guidelines can support the quality assurance process in the development of automotive control software. In the domain of automotive software engineering there is a lack of automated checking for standard conformance. Especially, a formal and tool independent notation of rules to follow is missing. In this chapter, the model-based design of automotive vehicle functions is taken as an example to show how textual rules describing development standards to be met can be transformed into a formal notation using the open standards Meta Object Facility and Object Constraint Language. Thereafter these rules can be checked automatically. The feasibility of this approach is shown by a software demonstrator.

Download Full-text

Model-Based Software Engineering in Larger Scale Project Courses

Software Engineering Education ◽

10.1016/b978-0-444-81597-2.50034-6 ◽

1993 ◽

pp. 273-287 ◽

Cited By ~ 2

Author(s):

Bernd Bruegge ◽

Robert F. Coyne

Keyword(s):

Software Engineering ◽

Model Based

Download Full-text

An OW-FCE Model Based on MDE Algorithm for Evaluating Integrated Navigation System

IEEE Access ◽

10.1109/access.2019.2957522 ◽

2019 ◽

Vol 7 ◽

pp. 178918-178929

Author(s):

Jianhua Cheng ◽

Mingtao Dong ◽

Bing Qi

Keyword(s):

Navigation System ◽

Integrated Navigation ◽

Integrated Navigation System ◽

Model Based

Download Full-text

Model-Based Autonomous Navigation with Moment of Inertia Estimation for Unmanned Aerial Vehicles

Sensors ◽

10.3390/s19112467 ◽

2019 ◽

Vol 19 (11) ◽

pp. 2467 ◽

Cited By ~ 2

Author(s):

Hery Mwenegoha ◽

Terry Moore ◽

James Pinchin ◽

Mark Jabbal

Keyword(s):

Unmanned Aerial Vehicles ◽

Navigation System ◽

Process Model ◽

Unscented Kalman Filter ◽

Low Cost ◽

Moment Of Inertia ◽

Model Parameters ◽

Main Process ◽

Model Based ◽

Aerial Vehicles

The dominant navigation system for low-cost, mass-market Unmanned Aerial Vehicles (UAVs) is based on an Inertial Navigation System (INS) coupled with a Global Navigation Satellite System (GNSS). However, problems tend to arise during periods of GNSS outage where the navigation solution degrades rapidly. Therefore, this paper details a model-based integration approach for fixed wing UAVs, using the Vehicle Dynamics Model (VDM) as the main process model aided by low-cost Micro-Electro-Mechanical Systems (MEMS) inertial sensors and GNSS measurements with moment of inertia calibration using an Unscented Kalman Filter (UKF). Results show that the position error does not exceed 14.5 m in all directions after 140 s of GNSS outage. Roll and pitch errors are bounded to 0.06 degrees and the error in yaw grows slowly to 0.65 degrees after 140 s of GNSS outage. The filter is able to estimate model parameters and even the moment of inertia terms even with significant coupling between them. Pitch and yaw moment coefficient terms present significant cross coupling while roll moment terms seem to be decorrelated from all of the other terms, whilst more dynamic manoeuvres could help to improve the overall observability of the parameters.

Download Full-text