Model-based Software Development
Certifiable Embedded Code Generation:
Modeling, Simulation, Analysis, Auto-coding, and V&V
SW Languages:
- MATLAB, Simulink, Stateflow, RTW, ERT
- Auto-coding C, C++
- Porting MATRIXx to Simulink, Fortran to MATLAB
- Visual BASIC, Fortran, MS Excel, Assembler
Modeling / Simulation/ Software:
- Aircraft Adaptive Vibration Control support
- Auto-coded TI 28335 controller SW models and tools for DO-178b
- Aircraft auto-coded HIL plant, controller, and communications models
- Aerospace Radar Cross Section (RCS) database, ported from Fortran to MATLAB.
- Aerospace missile thrust, embedded controller and plant
- Aerospace missile 6DoF
- Aerospace missile HIL Simulator
- Automotive HIL plant models and embedded controller software
- Automotive Electric Vehicle, battery-pack embedded controller software
- Automotive vehicle electrical load analysis
- Subsystem regression tests
Specifications:
- Embedded software and hardware requirements
- Hardware and software requirements modeling and simulations
- Software design and V&V
Environments:
- Embedded real-time controllers
- SW/HW modeling and simulation
- Hardware-in-the-loop (HIL), Software-in-loop (SIL)
- Hardware and software interfacing
- Device drivers
Development Tools:
- TI 28335, 8051, 68332, 68HC11, 68000-68030, Z80, 8080 microprocessors/controllers
- UNIX, VAX, Microsoft XP, embedded / proprietary systems
- Communications: SPI, CAN, ARINC 429, A2L, Serial, J1850, proprietary interfacing.
- Emulators
- Configuration management systems: SVN Tortoise, Synergy, Visual Source Safe
Certifiable Embedded Control Systems Software:
Modeling, Simulation, Analysis, Auto-coding, and V&V
SW Languages:
-
MATLAB/ Simulink/ Stateflow, RTW, Embedded Coder
-
C/C+
- C/ C++
- Simulink / MATLAB / RTW / ERT, MATRIXx porting to Simulink
- Visual BASIC, FORTRAN, MS Excel, Assembler
Modeling / Simulation/ Software:
- Missile thrust, embedded controller and plant
- Missile 6DoF
- Missile HIL Simulator
- Automobile HIL embedded controllers
- Electric vehicle, battery-pack embedded controller
- Vehicle electrical load analysis
- Subsystem regression tests
Specifications:
- Embedded requirements
- HW/SW Requirements modeling and simulations
- Verification, and SW design
Environments:
- Embedded real-time controllers
- SW/HW modeling and simulation
- Hardware-in-the-loop (HIL), Software-in-loop (SIL)
- SW / HW interfacing
- Device drivers
Development Tools:
- UNIX, VAX, Microsoft XP, embedded / proprietary systems
- 8051, 68332, 68HC11, 68000-68030, Z80, 8080 microprocessors/controllers
- Serial, J1850, proprietary communications
- Emulators
- Configuration management systems (Synergy, Visual Source Safe, etc.)
|