Show simple item record

dc.contributor.authorKirner, Raimund
dc.contributor.authorHerhut, Stephan
dc.contributor.authorScholz, Sven-Bodo
dc.contributor.editorMargaria, T.
dc.contributor.editorSteffen, B.
dc.date.accessioned2011-05-10T10:03:29Z
dc.date.available2011-05-10T10:03:29Z
dc.date.issued2010
dc.identifier.citationKirner , R , Herhut , S & Scholz , S-B 2010 , Compiler-support for robust multi-core computing . in T Margaria & B Steffen (eds) , Leveraging Applications of Formal Methods, Verification and Validation PT I . Lecture Notes in Computer Science , vol. 6415 , Springer , BERLIN , pp. 47-57 , 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation , Heraklion , 18/10/10 . https://doi.org/10.1007/978-3-642-16558-0_6
dc.identifier.citationconference
dc.identifier.isbn978-3-642-16557-3
dc.identifier.isbn978-3-642-16558-0
dc.identifier.otherPURE: 93316
dc.identifier.otherPURE UUID: 79e406ff-7e4e-432f-ad9f-0a2872bb90fe
dc.identifier.otherdspace: 2299/5777
dc.identifier.otherWOS: 000289493100006
dc.identifier.otherScopus: 78650285912
dc.identifier.urihttp://hdl.handle.net/2299/5777
dc.description“The original publication is available at www.springerlink.com”. Copyright Springer.
dc.description.abstractEmbedded computing is characterised by the limited availability of computing resources. Further, embedded systems are often used in safety-critical applications with real-time constraints. Thus, the software development has to follow rigorous procedures to minimise the risk of system failures. However, besides the inherent application complexities, there is also an increased technology-based complexity due to the shift to concurrent programming of multi-core systems. For such systems it is quite challenging to develop safe and resource-efficient systems. In this paper we give a plea for the need of better software development tools to cope with this challenge. For example, we outline how compilers can help to simplify the writing of fault-tolerant and robust software, which keeps the application code more compact, comprehensive, and maintainable. We take a rather extreme stand by promoting a functional programming approach. This functional programming paradigm reduces the complexity of program analysis and thus allows for more efficient and powerful techniques. We will implement an almost transparent support for robustness within the SaC research compiler, which accepts a C-like functional program as input. Compared to conventional approaches in the field of automatic software-controlled resilience, our functional setting will allow for lower overhead, making the approach interesting for embedded computing as well as for high-performance computing.en
dc.format.extent11
dc.language.isoeng
dc.publisherSpringer
dc.relation.ispartofLeveraging Applications of Formal Methods, Verification and Validation PT I
dc.relation.ispartofseriesLecture Notes in Computer Science
dc.rightsOpen
dc.subjectLANGUAGE
dc.subjectSYSTEMS
dc.subjectSAC
dc.titleCompiler-support for robust multi-core computingen
dc.contributor.institutionSchool of Computer Science
dc.contributor.institutionScience & Technology Research Institute
dc.relation.schoolSchool of Computer Science
dcterms.dateAccepted2010
rioxxterms.versionofrecordhttps://doi.org/10.1007/978-3-642-16558-0_6
rioxxterms.typeOther
herts.preservation.rarelyaccessedtrue
herts.rights.accesstypeOpen


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record