[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

Methods

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)

Standard

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

Operating Systems

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

Processors

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

Tools

Requirements Analisys

  • DOORS
  • Requisite PRO

Design

  • Artisan Studio
  • Telelogic Rhapsody
  • Rose Enterprise

Development

  • ADAMulti
  • Code Composer Studio
  • TORNADO

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