Hardware-In-Loop Simulation Development

Carrijo, Domingos Sálvio; Oliva, A. P.; Filho, Waldemar de Castro Leite

doi:10.1080/02286203.2002.11442238

Cited by 8 publications

(4 citation statements)

References 1 publication

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We compared the Frama-C output to the hybrid simulation output obtained by the control system team. The hybrid simulation is a hardware-in-loop simulation that simulates the complete system, that is, the on-board computer with the control laws, the vehicle dynamics, the actuator dynamics, and the sensor dynamics, to assess the performance of a satellite launcher control system [47]. Table II shows the intervals computed by Frama-C's value analysis plug-in, as well as the minimum and maximum values of two navigation algorithm variables extracted from the hybrid simulation profile.…”

Section: ) Results From Scenariomentioning

confidence: 99%

Formal Verification With Frama-C: A Case Study in the Space Software Domain

et al. 2016

View full text Add to dashboard Cite

With the increasing importance of software in the aerospace field, as evidenced by its growing size and complexity, a rigorous and reliable software verification and validation process must be applied to ensure conformance with the strict requirements of this software. Although important, traditional validation activities such as testing and simulation can only provide a partial verification of behavior in critical real-time software systems, and thus, formal verification is an alternative to complement these activities. Two useful formal software verification approaches are deductive verification and abstract interpretation, which analyze programs statically to identify defects. This paper explores abstract interpretation and deductive verification by employing Frama-C's value analysis and Jessie plug-ins to verify embedded aerospace control software. The results indicate that both approaches can be employed in a software verification process to make software more reliable.

show abstract

Section: ) Results From Scenariomentioning

confidence: 99%

Formal Verification With Frama-C: A Case Study in the Space Software Domain

et al. 2016

View full text Add to dashboard Cite

show abstract

“…Cosic et al [2] used TMS320C40 DSP to set up a HILS platform for a semi-automatic guided missile control. Carrijo et al [3] applied HILS to test the on-board computer on a satellite launcher vehicle for motion and attitude control. Sun [4] used an embedded real-time controller to be the prototype autopilot and test the performance of proportional-integral-derivative (PID) controllers in HILS system including a servo unit.…”

Section: Introductionmentioning

confidence: 99%

Pitch Attitude Control Design of Unmanned Aerial Vehicle via Hardware-in-the-Loop Simulation

Sun

Liang

2013

AMM

View full text Add to dashboard Cite

This paper describes an investigative hardware-in-the-loop simulation (HILS) effort through virtual instrumentation on longitudinal control of an unmanned aerial vehicle (UAV). The proportional-integral-differential (PID) controller and fuzzy logic controller (FLC) are designed for the pitch angle hold mode of autopilot; moreover, they are implemented by an embedded real-time control system as a prototype autopilot and tested by hardware-in-the-loop simulation. The hardware configuration of HILS is composed of a personal computer, an embedded real-time control system, several data acquisition devices, servo and sensor unit. The real-time control and data acquisition tasks in HILS is carried out by virtual instruments that is developed by graphical programming language LabVIEW. HILS provides a platform for researchers to correct and improve their design efficiently. The closed-loop performance between PID controller and FLC is evaluated in HILS. The results demonstrate that in the presence of unmodelled dynamics and nonlinear saturation the FLC has an excellent robust performance.

show abstract

“…(Cosic et al, 1999) used TMS320C40 DSP to set up a HIL simulation platform for a semiautomatic guided missile system. (Carrijo et al, 2002) applied HIL simulation to test the onboard computer on a satellite launcher vehicle for motion and attitude control. (Sun et al, 2006;Sun et al, 2008a;Sun et al, 2009;Sun et al, 2010) developed the HIL simulation system to evaluate the performance of UAV autopilot that was employed different control laws.…”

Section: Introductionmentioning

confidence: 99%

The Development of a Hardware-in-the-Loop Simulation System for Unmanned Aerial Vehicle Autopilot Design Using LabVIEW

Sun¹

2011

Practical Applications and Solutions Using LabVIEW™ Software

View full text Add to dashboard Cite

Hardware-In-Loop Simulation Development

Cited by 8 publications

References 1 publication

Formal Verification With Frama-C: A Case Study in the Space Software Domain

Formal Verification With Frama-C: A Case Study in the Space Software Domain

Pitch Attitude Control Design of Unmanned Aerial Vehicle via Hardware-in-the-Loop Simulation

The Development of a Hardware-in-the-Loop Simulation System for Unmanned Aerial Vehicle Autopilot Design Using LabVIEW

Contact Info

Product

Resources

About