[cml_media_alt id='110']embedded[/cml_media_alt]ItalSystem s.r.l.  is engaged in the design, development and verification & validation of Safety Critical software for  Real-Time Embedded Systems. ItalSystem s.r.l. works both on Civil and Military avionic projects in the Aeronautic, Aerospace and Defense industry.

ItalSystem s.r.l. supports its customers in the entire software development, it performs planning, design, development activities and CSCI test. ItalSystem s.r.l. performs activities of definition and improvement of software development process according to the main industry standards. Company carries out independent Verification and Validation activities  providing a high level of efficiency for safety critical software. It uses  a rigorous approach to ground and in-flight software for  all stages of development:  concept, requirements, design, coding, testing and operation.

Design and Development Software:

  • Requirements Analisys
  • Sofware Requirements Specification
  • Design
  • Software Design Description
  • Coding
  • Software Change Management
  • Software Problem Management
  • Integration
  • Reverse Engineering

Verification & Validation (V&V):

  • Review Software Requirements
  • Review Software Design
  • Code Review
  • RBT Review
  • White Box
  • Assembly Code Analisys
  • Unit Test
  • Compiler Confidence
  • Document Management
  • Tool Qualification
  • Data Coupling


Object-oriented analysis and design using UML models applied to embedded systems with RTOS

  • Definition of use cases
  • Preliminary and detailed design
  • Use Case Diagrams
  • Class diagrams
  • sequence diagrams, state machines


Design and simulation of algorithms for digital signal processing (DSP)


  • DO-178B
  • MIL-STD-498
  • Arinc 429
  • MIL-STD-1553

Operating Systems

  • uC/OS-II
  • VxWorks
  • DDC ADA Real-Time


  • Intel 386 EX
  • Motorola PowerPC
  • Motorola Coldfire
  • DSP TI C5000/6000


Requirements Analisys

  • Requisite PRO


  • Artisan Studio
  • Telelogic Rhapsody
  • Rose Enterprise


  • ADAMulti
  • Code Composer Studio

Code Testing

  • VectorCAST
  • LDRA

Code Analisys/Reverse Engineering

  • MISRA Assent Checker
  • Understand ADA-C/C++
  • LDRA Test Bed

Configuration Management

  • PVCS

Start typing and press Enter to search