• Home
  • Search
  • A Model-Based Methodology to Generate Code for Timer Units
  • Open Access IconOpen Access
  • https://doi.org/10.1007/978-3-319-20227-3_26Copy DOI Icon

A Model-Based Methodology to Generate Code for Timer Units

  • Aug 8, 2015
  • Marco Marazza +4 more
Show More
  • Abstract
  • Literature Map
  • References
  • Similar Papers
Abstract

In this paper we present a model-based methodology and a tool-chain supporting pseudo-automated code generation for different Timer Units, which represent a new approach in this field. Programmable Timer Units are timing co-processors used to elaborate complex high-resolution timing functions subject to hard real-time constraints. Verification at the different design stages, as required per safety standards’ certification, is becoming a major concern for Timer Units code development life-cycle. Enabling correct-by-construction code generation, our methodology supports code development, integration and testing across all design phases. We show how high-level functional models derived from functional requirements can be mapped onto the target architecture and how architecture-specific code can be generated. Our methodology is then applied to an automotive reference example.

Similar Papers
  • Conference Article
  • Citations6

Abstract Syntax Tree based Unified Modeling Language to Object Oriented Code Conversion

  • Oct 10, 2014
  • Arun Veeramani +2
  • Conference Article
  • Citations3

Improved Methods for Accurate Safety Analysis of Real-Life Systems

  • Nov 01, 2015
  • V Prasanth +2
  • Conference Article
  • Citations72

Register liveness analysis for optimizing dynamic binary translation

  • Oct 29, 2002
  • M Probst +2
  • Research Article

Методология анализа внутренних воздействий на безопасность АЭС

  • May 28, 2021
  • Электрические станции
  • O V Goriunov +3
  • Research Article
  • Citations1

Management of the bus fleet structure in modern conditions

  • Dec 01, 2019
  • Journal of Physics: Conference Series
  • Alexander S Afanasyev +2
  • Book Chapter
  • Citations2

Rule Based Safety Checking in Scaffolds by Integrating Building Information Modeling (BIM) and Safety Management

  • Dec 01, 2022
  • Aneetha Vilventhan +1
  • PDF
  • Research Article
  • Citations7

Material and Production Optimization of the Ship Design Process by Introducing CADs from Early Design Stages

  • Jan 16, 2023
  • Journal of Marine Science and Engineering
  • Jaime Perez-Martinez +1
  • Book Chapter

The Future of Codes and the Architecture Profession

  • Sep 22, 2021
  • A Vernon Woodworth
  • Book Chapter

Implementation, Deployment, and Maintenance

  • Jan 01, 2009
  • Sven Casteleyn +3
  • Conference Article
  • Citations11

Multicriteria and Discrete Configuration and Design Optimization with Applications for Satellites

  • Aug 30, 2004
  • T Pühlhofer +3
  • Research Article
  • Citations14

Climate-responsive design: A framework for an energy concept design-decision support tool for architects using principles of climate-responsive design

  • Jan 01, 2017
  • Architecture and the Built Environment
  • Remco Looman
  • Research Article
  • Citations15

Standards Linkages to a Performance–Based Regulatory Framework

  • Jun 01, 2001
  • Jurnal Teknologi
  • Richard W Bukowski +2
  • Conference Article
  • Citations6

Model based design and automated code generation from Simulink targeted for TMS570 MCU

  • Sep 01, 2012
  • V Lambersky
  • PDF
  • Research Article

A Study of Convergence to Control the Cost of Concrete Bridges in the Design Stages in Yemen

  • Apr 07, 2018
  • Civil Engineering Journal
  • Majed Al-Sebaeai +2
  • Conference Article
  • Citations157

Computer Aided Dimensioning of Spot-Welded Automotive Structures

  • Feb 01, 1995
  • SAE technical papers on CD-ROM/SAE technical paper series
  • Andreas Rupp +2
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.