Repository logo

Browsing by Subject "automatic code generation"

Filter results by typing the first few letters
Now showing 1 - 2 of 2
  • thumbnail.journal.alt
    Item type:Article, Access status: Open Access ,
    Automated code generation for safety-related applications: a case study
    (2007) Głuch, Dawid P.; Kornecki, Andrzej
    This paper addresses issues relating to the suitability of using automated code generation (ACG) technologies for the development of real-time, safety-critical systems. This research explored the characteristics of model-based software development methodologies and the automated code generation tools that support them. Specifically, data related to the engineering challenges, skills, and effort associated with ACG practices and technologies were collected as part of a case study. Characteristics such as the generated code’s organization, size, readability, traceability to model, real-time constructs, and exception handling were identified. In addition, the case study involved software engineering practices that incorporate integrated analysis and design iterations throughout a model-based development process. The research investigated both the static and dynamic characteristics of the selected techniques and tools, identified characteristics of ACG tools with potential impact on safety, and considered the semantic consistency between representations.
  • thumbnail.journal.alt
    Item type:Thesis, Access status: Restricted ,
    System wbudowany dla wahadła odwróconego na wózku - analiza porównawcza ARM Cortex i FPGA
    (Data obrony: 2018-07-06) Musik, Juliusz
    Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej