Cover Image

REALISTIC CORRECT SYSTEMS IMPLEMENTATION

The present article and the forthcoming second part on Trusted Compiler Implementation address correct construction and functioning of large computer based systems. In view of so many annoying and dangerous system misbehaviors we ask: Can informaticians righteously be accounted for incorrectness of...

Full description

Saved in:
Bibliographic Details
Published in:PROBLEMS IN PROGRAMMING
Date:2015
Issue:1
ISSN:1727-4907
Author Affiliations:
  • W. Goerigk — Institut für Informatik und Praktische Mathematik Christian-Albrechts-Universität zu Kiel
Main Author: Goerigk, W.
Format: Article
Language:English
Published: PROBLEMS IN PROGRAMMING 2015
Subjects:
Online Access:https://pp.isofts.kiev.ua/index.php/ojs1/article/view/3
Tags: Add Tag
No Tags, Be the first to tag this record!
Journal Title:Problems in programming
Download file: Pdf

Institution

Problems in programming
Description
Summary:The present article and the forthcoming second part on Trusted Compiler Implementation address correct construction and functioning of large computer based systems. In view of so many annoying and dangerous system misbehaviors we ask: Can informaticians righteously be accounted for incorrectness of systems, will they be able to justify systems to work correctly as intended? We understand the word justification in the sense: design of computer based systems, formulation of mathematical models of information flows, and construction of controlling software are to be such that the expected system effects, the absence of internal failures, and the robustness towards misuses and malicious external attacks are foreseeable as logical consequences of the models.
ISSN:1727-4907

Similar Items