Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Formal verification of downtimeless system evolution in embedded automation controllers
Thales GmbH.
Luleå tekniska universitet, Institutionen för system- och rymdteknik, Datavetenskap.ORCID-id: 0000-0002-9315-9920
fortiss GmbH.
2013 (Engelska)Ingår i: ACM Transactions on Embedded Computing Systems, ISSN 1539-9087, E-ISSN 1558-3465, Vol. 12, nr 1Artikel i tidskrift (Refereegranskat) Published
Abstract [en]

This article presents a new formal approach to validation of on-the-fly modification of control software in automation systems. The concept of downtimeless system evolution (DSE) is introduced. The DSE is essentially based on the use of IEC 61499 system architecture and formal modeling and verification of the hardware and software of an automation device. The validation is performed by means of two complimentary techniques: analytic calculations and formal verification by model-checking

Ort, förlag, år, upplaga, sidor
2013. Vol. 12, nr 1
Nationell ämneskategori
Datavetenskap (datalogi)
Forskningsämne
Kommunikations- och beräkningssystem
Identifikatorer
URN: urn:nbn:se:ltu:diva-9313DOI: 10.1145/2406336.2406353ISI: 000314179100017Scopus ID: 2-s2.0-84873629731Lokalt ID: 7e91fc14-4ef5-485c-aae3-d2514bc802c7OAI: oai:DiVA.org:ltu-9313DiVA, id: diva2:982251
Anmärkning
Validerad; 2013; Bibliografisk uppgift: Article number 17; 20130225 (andbra)Tillgänglig från: 2016-09-29 Skapad: 2016-09-29 Senast uppdaterad: 2023-05-08Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Person

Vyatkin, Valeriy

Sök vidare i DiVA

Av författaren/redaktören
Vyatkin, Valeriy
Av organisationen
Datavetenskap
I samma tidskrift
ACM Transactions on Embedded Computing Systems
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetricpoäng

doi
urn-nbn
Totalt: 35 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf