5 research outputs found
Software Quality Objectives for Source Code
Get PDFInternational audienceThe MathWorks - Renault SA - PSA Peugeot Citroën - Delphi Diesel System - Valeo group wrote together a code quality standard from scratch. This document describes how the code standard places the proof of absence of run-time errors at the centre of its software quality model. It details how the following elements of the quality model co-exist together with the supplier code life cycle: MISRA-C coding standard, the absence of run-time errors and some code complexity metrics. Additionally, this document describes how the Automotive manufacturers and the suppliers have to agree on and achieve different Software Quality Objectives according to the code life cycle stage and the safety aspects of the application.Finally, the document illustrates that standard with the PolySpace product and details how the product can help both the automotive manufacturer and the supplier working with this standard
A Meta Model Supporting both Hardware and Smalltalk-based Execution of FPGA Circuits
No full textBest paper awardInternational audienceHigh level synthesis (HLS) refers to an automated process that creates a digital hardware from an algorithmic description of some computation. From the perspective of Smalltalk, this process consists of converting code from the oriented object level to the register transfer level (RTL), that supports direct compilation to the hardware level. In this paper, we present first steps to achieve this process. We introduce a Smalltalk-based meta-model that allows expressing descriptions (i.e. models) of digital circuits. These descriptions can be materialized as Smalltalk code. A such circuit description can be run on top of the Smalltalk VM, simulating the parallelism intrinsic of hardware. Alternatively, it can be compiled into a binary representation directly transferable to FPGA chips, which can run and exchange data with Smalltalk objects
