Formally Unifying Modeling and Design for Embedded Systems - A Personal View

Based on the author’s academic and industrial experience, we discuss the smooth relation between model-based design and programming realized by synchronous languages in the embedded systems field. These languages are used to develop high quality embedded software, in particular for safety-critical a...

Full description

Saved in:
Bibliographic Details
Published inLeveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications pp. 134 - 149
Main Author Berry, G.
Format Book Chapter
LanguageEnglish
Published Cham Springer International Publishing 2016
SeriesLecture Notes in Computer Science
Subjects
Discrete Control
Embed System
Formal Verification
Register Transfer Level
Synchronous Language
Online AccessGet full text
ISBN9783319471686
3319471686
ISSN0302-9743
1611-3349
DOI10.1007/978-3-319-47169-3_11

Cover

Abstract Based on the author’s academic and industrial experience, we discuss the smooth relation between model-based design and programming realized by synchronous languages in the embedded systems field. These languages are used to develop high quality embedded software, in particular for safety-critical applications in avionics, railway, etc., subject to the strongest software certification processes in industry. They have also been used for the efficient model-based development of production hardware circuits. One of their main characteristics is their well-defined formal semantics, with is the base of their simulation and compiling processes and is also fundamental for their link to automatic formal verification systems and other tools related to model-based design. We briefly discuss their current limitations and some ideas to lift them.
AbstractList Based on the author’s academic and industrial experience, we discuss the smooth relation between model-based design and programming realized by synchronous languages in the embedded systems field. These languages are used to develop high quality embedded software, in particular for safety-critical applications in avionics, railway, etc., subject to the strongest software certification processes in industry. They have also been used for the efficient model-based development of production hardware circuits. One of their main characteristics is their well-defined formal semantics, with is the base of their simulation and compiling processes and is also fundamental for their link to automatic formal verification systems and other tools related to model-based design. We briefly discuss their current limitations and some ideas to lift them.
Author Berry, G.
Author_xml – sequence: 1
  givenname: G.
  surname: Berry
  fullname: Berry, G.
  email: gerard.berry@college-de-france.fr
  organization: Collège de France, Paris, France
BookMark eNpVkN1KAzEQRqNWcK19Ay_yAtFMJpufy1JbFSoKWm_DdpOU1W1WNgXp27ut3ng1w_ngY-ZcklHqUiDkGvgNcK5vrTYMGYJlUoOyDB3ACZkMGAd4ZHhKClAADFHas3-ZUSNScOSCWS3xgkxy_uCcg1YgORZkuej6bdW2e7pKTdw3aUOfOh_aw1IlT-9CbjaJxq6n8-06eB88fd3nXdhmyuiUvoQ-d6lq6XsTvq_IeazaHCZ_c0xWi_nb7IEtn-8fZ9Mly0KZHUPLRT10QR1NNBCE9spLb-RaR8mVKJGXQnCjtaxBVdHUWtRVaaHySltT4piI39781Q-Hht6tu-4zO-DuoMwN_zt0gwF31OMOyvAH_JNaHA
ContentType Book Chapter
Copyright Springer International Publishing AG 2016
Copyright_xml – notice: Springer International Publishing AG 2016
DOI 10.1007/978-3-319-47169-3_11
DatabaseTitleList
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISBN 9783319471693
3319471694
EISSN 1611-3349
Editor Steffen, Bernhard
Margaria, Tiziana
Editor_xml – sequence: 1
  givenname: Tiziana
  surname: Margaria
  fullname: Margaria, Tiziana
  email: tiziana.margaria@lero.ie
– sequence: 2
  givenname: Bernhard
  surname: Steffen
  fullname: Steffen, Bernhard
  email: steffen@cs.tu-dortmund.de
EndPage 149
GroupedDBID -DT
-GH
-~X
1SB
29L
2HA
2HV
5QI
875
AASHB
ABMNI
ACGFS
ADCXD
AEFIE
ALMA_UNASSIGNED_HOLDINGS
EJD
F5P
FEDTE
HVGLF
LAS
LDH
P2P
RIG
RNI
RSU
SVGTG
VI1
~02
ID FETCH-LOGICAL-s268t-3902cbed1cf8f81e27d6d4d84b7f406253052208774c16af8c72ca591ad679853
ISBN 9783319471686
3319471686
ISSN 0302-9743
IngestDate Tue Jul 29 20:13:08 EDT 2025
IsPeerReviewed true
IsScholarly true
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-s268t-3902cbed1cf8f81e27d6d4d84b7f406253052208774c16af8c72ca591ad679853
PageCount 16
ParticipantIDs springer_books_10_1007_978_3_319_47169_3_11
PublicationCentury 2000
PublicationDate 2016
PublicationDateYYYYMMDD 2016-01-01
PublicationDate_xml – year: 2016
  text: 2016
PublicationDecade 2010
PublicationPlace Cham
PublicationPlace_xml – name: Cham
PublicationSeriesSubtitle Theoretical Computer Science and General Issues
PublicationSeriesTitle Lecture Notes in Computer Science
PublicationSeriesTitleAlternate Lect.Notes Computer
PublicationSubtitle 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
PublicationTitle Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
PublicationYear 2016
Publisher Springer International Publishing
Publisher_xml – name: Springer International Publishing
RelatedPersons Kleinberg, Jon M.
Mattern, Friedemann
Naor, Moni
Mitchell, John C.
Terzopoulos, Demetri
Steffen, Bernhard
Pandu Rangan, C.
Kanade, Takeo
Kittler, Josef
Weikum, Gerhard
Hutchison, David
Tygar, Doug
RelatedPersons_xml – sequence: 1
  givenname: David
  surname: Hutchison
  fullname: Hutchison, David
  organization: Lancaster University, Lancaster, United Kingdom
– sequence: 2
  givenname: Takeo
  surname: Kanade
  fullname: Kanade, Takeo
  organization: Carnegie Mellon University, Pittsburgh, USA
– sequence: 3
  givenname: Josef
  surname: Kittler
  fullname: Kittler, Josef
  organization: University of Surrey, Guildford, United Kingdom
– sequence: 4
  givenname: Jon M.
  surname: Kleinberg
  fullname: Kleinberg, Jon M.
  organization: Cornell University, Ithaca, USA
– sequence: 5
  givenname: Friedemann
  surname: Mattern
  fullname: Mattern, Friedemann
  organization: CNB H 104.2, ETH Zurich, Zürich, Switzerland
– sequence: 6
  givenname: John C.
  surname: Mitchell
  fullname: Mitchell, John C.
  organization: Stanford, USA
– sequence: 7
  givenname: Moni
  surname: Naor
  fullname: Naor, Moni
  organization: Weizmann Institute of Science, Rehovot, Israel
– sequence: 8
  givenname: C.
  surname: Pandu Rangan
  fullname: Pandu Rangan, C.
  organization: Madras, Indian Institute of Technology, Chennai, India
– sequence: 9
  givenname: Bernhard
  surname: Steffen
  fullname: Steffen, Bernhard
  organization: Fakultät Informatik, TU Dortmund, Dortmund, Germany
– sequence: 10
  givenname: Demetri
  surname: Terzopoulos
  fullname: Terzopoulos, Demetri
  organization: University of California, Los Angeles, USA
– sequence: 11
  givenname: Doug
  surname: Tygar
  fullname: Tygar, Doug
  organization: University of California, Berkeley, USA
– sequence: 12
  givenname: Gerhard
  surname: Weikum
  fullname: Weikum, Gerhard
  organization: Max Planck Institute for Informatics, Saarbrücken, Germany
SSID ssj0001761403
ssj0002792
Score 1.8328393
Snippet Based on the author’s academic and industrial experience, we discuss the smooth relation between model-based design and programming realized by synchronous...
SourceID springer
SourceType Publisher
StartPage 134
SubjectTerms Discrete Control
Embed System
Formal Verification
Register Transfer Level
Synchronous Language
Title Formally Unifying Modeling and Design for Embedded Systems - A Personal View
URI http://link.springer.com/10.1007/978-3-319-47169-3_11
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LT8MwDI7GuCAOvMVbOXCbgmjaptlxggGaBuIAE7eqTVMJCYbEugP8HH4pdp1sZXCBS7V1faT-Osex_dmMnVjbzbCymchhySOQ2il0qK1Q2BFFWZtFCXKHb27V9UM0eIwfW63PRtbStMpPzcevvJL_oAr7AFdkyf4B2dlFYQd8BnxhCwjDdsH4_e5mJfayhfFSj6FeIwqN1t8lGqKYsYrdoandOQyndIfU8YIR2N_FLLPj4mlippgPSzoIY_SYIlO5Hc3rz9bv9o0i8FenzdeObv38jsYsUaiw29qzp0Je1AkjdW5j_yW3oPUKXzS9I0BJ3bm1QWfkIxYoSDuBp6VYx-1rVaeQdXw7Cq-dmu6LYNF94d2XCw7QuQ_u23o3BIUBs6ly1bMd7wt0OqyKSE1aUuMKizOGVAzVqebAOU1plg_otx8TSDNnBPldeLeuCFOkjy8lOmqz5V5_MBzN_XiJopKHbvbHgowUuaJRIZ9oNmqq-DT_3uBy_nbLH9H52ui5X2erSIThyFABoW2wlh1vsjUvd-7kvsWGHnPuMececw6Yc8KcA-bcY84d5lzwHveYc8R8mz1c9u_Pr4Vr0iEmUulKhN0zaeDcwJS61IGVSaGKqNBRnpRgLMoYJhQpsexkZAKVldok0mRxN8gKDADG4Q5rj1_HdpdxnUs41ZQmTs4io0GFmBiWU1jAKZdxke-xjhdHin-7SeprboPw0jAF4aW18FIU3v6fjj5gK_O385C1q7epPQJzs8qPHeJfNKx2ng
linkProvider Library Specific Holdings
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=bookitem&rft.title=Leveraging+Applications+of+Formal+Methods%2C+Verification+and+Validation%3A+Discussion%2C+Dissemination%2C+Applications&rft.au=Berry%2C+G.&rft.atitle=Formally+Unifying+Modeling+and+Design+for+Embedded+Systems+-+A+Personal+View&rft.series=Lecture+Notes+in+Computer+Science&rft.date=2016-01-01&rft.pub=Springer+International+Publishing&rft.isbn=9783319471686&rft.issn=0302-9743&rft.eissn=1611-3349&rft.spage=134&rft.epage=149&rft_id=info:doi/10.1007%2F978-3-319-47169-3_11
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0302-9743&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0302-9743&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0302-9743&client=summon