Show simple item record

dc.contributor.authorSifakis, Joseph
dc.date.accessioned2017-10-18T16:42:47Z
dc.date.available2017-10-18T16:42:47Z
dc.date.issued2017-09-10
dc.identifier.citationSifakis, J. Rigorous system design. A: 3rd Severo Ochoa Research Seminar Lectures at BSC, Barcelona, 2016-2017. "Book of abstracts". Barcelona: Barcelona Supercomputing Center, 2017, p. 25-26.
dc.identifier.urihttp://hdl.handle.net/2117/108817
dc.description.abstractToday, the development costs of high confidence systems explode with their size. We are far away from the solution of the so-called, software crisis. In fact, the latter hides another much bigger: the system crisis. n my talk I will discuss rigorous system design as a formal and accountable process leading from requirements to correct-by-construction implementations. I will also discuss current limitations of the state of the art and advocate a coherent scientific foundation for system design based on four principles: 1) separation of concerns; 2) component-based construction; 3) semantic coherency; 4) correctness-by-construction. The combined application of these principles allows the definition of a methodology clearly identifying where human intervention and ingenuity are needed to resolve design choices, as well as activities that can be supported by tools to automate tedious and error-prone tasks. The presented view for rigorous system design has been amply implemented in the BIP (Behavior, Interaction, Priority) component framework and substantiated by numerous experimental results showing both its relevance and feasibility. I will conclude with a discussion advocating a system-centric vision for computing, and a deeper interaction and cross-fertilization with other more mature scientific disciplines.
dc.format.extent2 p.
dc.language.isoeng
dc.publisherBarcelona Supercomputing Center
dc.rightsAttribution-NonCommercial-NoDerivs 3.0 Spain
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/3.0/es/
dc.subjectÀrees temàtiques de la UPC::Informàtica::Arquitectura de computadors
dc.subject.lcshHigh performance computing
dc.titleRigorous system design
dc.title.alternativeACM Turing Laureate Lecture Prof. Joseph Sifakis
dc.title.alternativeMarch 16th, 2017
dc.typeConference report
dc.subject.lemacCàlcul intensiu (Informàtica)
dc.rights.accessOpen Access
local.citation.contributor3rd Severo Ochoa Research Seminar Lectures at BSC, Barcelona, 2016-2017
local.citation.pubplaceBarcelona
local.citation.publicationNameBook of abstracts
local.citation.startingPage25
local.citation.endingPage26


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

Attribution-NonCommercial-NoDerivs 3.0 Spain
Except where otherwise noted, content on this work is licensed under a Creative Commons license : Attribution-NonCommercial-NoDerivs 3.0 Spain