Conference
Dynamic software randomisation: Lessons learnec from an aerospace case study
| العنوان: | Dynamic software randomisation: Lessons learnec from an aerospace case study |
|---|---|
| المؤلفون: | Cros, Fabrice, Kosmidis, Leonidas, Wartel, Franck, Morales, David, Abella, Jaume, Broster, Ian, Cazorla, Francisco J. |
| المساهمون: | Barcelona Supercomputing Center |
| سنة النشر: | 2017 |
| المجموعة: | Universitat Politècnica de Catalunya (UPC): Tesis Doctorals en Xarxa (TDX) / Theses and Dissertations Online |
| مصطلحات موضوعية: | Àrees temàtiques de la UPC::Enginyeria electrònica, Hardware, Software, Timing circuits--Design and construction--Data processing, Timing, Aerospace electronics, Probabilistic logic, Runtime, Jitter, Ordinadors--Dispositius de memòria, Programari |
| الوصف: | Timing Validation and Verification (V&V) is an important step in real-time system design, in which a system's timing behaviour is assessed via Worst Case Execution Time (WCET) estimation and scheduling analysis. For WCET estimation, measurement-based timing analysis (MBTA) techniques are widely-used and well-established in industrial environments. However, the advent of complex processors makes it more difficult for the user to provide evidence that the software is tested under stress conditions representative of those at system operation. Measurement-Based Probabilistic Timing Analysis (MBPTA) is a variant of MBTA followed by the PROXIMA European Project that facilitates formulating this representativeness argument. MBPTA requires certain properties to be applicable, which can be obtained by selectively injecting randomisation in platform's timing behaviour via hardware or software means. In this paper, we assess the effectiveness of the PROXIMA's dynamic software randomisation (DSR) with a space industrial case study executed on a real unmodified hardware platform and an industrial operating system. We present the challenges faced in its development, in order to achieve MBPTA compliance and the lessons learned from this process. Our results, obtained using a commercial timing analysis tool, indicate that DSR does not impact the average performance of the application, while it enables the use of MBPTA. This results in tighter pWCET estimates compared to current industrial practice. ; The research leading to these results has received funding from the European Community’s FP7 [FP7/2007-2013] under the PROXIMA Project (www.proxima-project.eu), grant agreement no 611085. This work has also been partially supported by the Spanish Ministry of Science and Innovation under grant TIN2015-65316-P and the HiPEAC Network of Excellence. Jaume Abella has been partially supported by the Ministry of Economy and Competitiveness under Ramon y Cajal postdoctoral fellowship number RYC-2013-14717. ; Peer Reviewed ; Postprint ... |
| نوع الوثيقة: | conference object |
| وصف الملف: | 6 p. |
| اللغة: | English |
| ردمك: | 978-3-9815370-8-6 3-9815370-8-4 |
| Relation: | http://ieeexplore.ieee.org/document/7926966/; info:eu-repo/grantAgreement/MINECO/1PE/RYC-2013-14717; info:eu-repo/grantAgreement/MICINN/1PE/TIN2015-65316-P; Cros, F. [et al.]. Dynamic software randomisation: Lessons learnec from an aerospace case study. A: "2017 Design, Automation & Test in Europe Conference & Exhibition (DATE)". 2017, p. 103-108.; http://hdl.handle.net/2117/104579 |
| DOI: | 10.23919/DATE.2017.7926966 |
| الاتاحة: | http://hdl.handle.net/2117/104579 https://doi.org/10.23919/DATE.2017.7926966 |
| Rights: | Open Access |
| رقم الانضمام: | edsbas.9B2EFA50 |
| قاعدة البيانات: | BASE |
| ResultId |
1 |
|---|---|
| Header |
edsbas BASE edsbas.9B2EFA50 886 3 Conference conference 886.106628417969 |
| PLink |
https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsbas&AN=edsbas.9B2EFA50&custid=s6537998&authtype=sso |
| FullText |
Array
(
[Availability] => 0
)
Array ( [0] => Array ( [Url] => http://hdl.handle.net/2117/104579# [Name] => EDS - BASE [Category] => fullText [Text] => View record in BASE [MouseOverText] => View record in BASE ) ) |
| Items |
Array
(
[Name] => Title
[Label] => Title
[Group] => Ti
[Data] => Dynamic software randomisation: Lessons learnec from an aerospace case study
)
Array ( [Name] => Author [Label] => Authors [Group] => Au [Data] => <searchLink fieldCode="AR" term="%22Cros%2C+Fabrice%22">Cros, Fabrice</searchLink><br /><searchLink fieldCode="AR" term="%22Kosmidis%2C+Leonidas%22">Kosmidis, Leonidas</searchLink><br /><searchLink fieldCode="AR" term="%22Wartel%2C+Franck%22">Wartel, Franck</searchLink><br /><searchLink fieldCode="AR" term="%22Morales%2C+David%22">Morales, David</searchLink><br /><searchLink fieldCode="AR" term="%22Abella%2C+Jaume%22">Abella, Jaume</searchLink><br /><searchLink fieldCode="AR" term="%22Broster%2C+Ian%22">Broster, Ian</searchLink><br /><searchLink fieldCode="AR" term="%22Cazorla%2C+Francisco+J%2E%22">Cazorla, Francisco J.</searchLink> ) Array ( [Name] => Author [Label] => Contributors [Group] => Au [Data] => Barcelona Supercomputing Center ) Array ( [Name] => DatePubCY [Label] => Publication Year [Group] => Date [Data] => 2017 ) Array ( [Name] => Subset [Label] => Collection [Group] => HoldingsInfo [Data] => Universitat Politècnica de Catalunya (UPC): Tesis Doctorals en Xarxa (TDX) / Theses and Dissertations Online ) Array ( [Name] => Subject [Label] => Subject Terms [Group] => Su [Data] => <searchLink fieldCode="DE" term="%22Àrees+temàtiques+de+la+UPC%3A%3AEnginyeria+electrònica%22">Àrees temàtiques de la UPC::Enginyeria electrònica</searchLink><br /><searchLink fieldCode="DE" term="%22Hardware%22">Hardware</searchLink><br /><searchLink fieldCode="DE" term="%22Software%22">Software</searchLink><br /><searchLink fieldCode="DE" term="%22Timing+circuits--Design+and+construction--Data+processing%22">Timing circuits--Design and construction--Data processing</searchLink><br /><searchLink fieldCode="DE" term="%22Timing%22">Timing</searchLink><br /><searchLink fieldCode="DE" term="%22Aerospace+electronics%22">Aerospace electronics</searchLink><br /><searchLink fieldCode="DE" term="%22Probabilistic+logic%22">Probabilistic logic</searchLink><br /><searchLink fieldCode="DE" term="%22Runtime%22">Runtime</searchLink><br /><searchLink fieldCode="DE" term="%22Jitter%22">Jitter</searchLink><br /><searchLink fieldCode="DE" term="%22Ordinadors--Dispositius+de+memòria%22">Ordinadors--Dispositius de memòria</searchLink><br /><searchLink fieldCode="DE" term="%22Programari%22">Programari</searchLink> ) Array ( [Name] => Abstract [Label] => Description [Group] => Ab [Data] => Timing Validation and Verification (V&V) is an important step in real-time system design, in which a system's timing behaviour is assessed via Worst Case Execution Time (WCET) estimation and scheduling analysis. For WCET estimation, measurement-based timing analysis (MBTA) techniques are widely-used and well-established in industrial environments. However, the advent of complex processors makes it more difficult for the user to provide evidence that the software is tested under stress conditions representative of those at system operation. Measurement-Based Probabilistic Timing Analysis (MBPTA) is a variant of MBTA followed by the PROXIMA European Project that facilitates formulating this representativeness argument. MBPTA requires certain properties to be applicable, which can be obtained by selectively injecting randomisation in platform's timing behaviour via hardware or software means. In this paper, we assess the effectiveness of the PROXIMA's dynamic software randomisation (DSR) with a space industrial case study executed on a real unmodified hardware platform and an industrial operating system. We present the challenges faced in its development, in order to achieve MBPTA compliance and the lessons learned from this process. Our results, obtained using a commercial timing analysis tool, indicate that DSR does not impact the average performance of the application, while it enables the use of MBPTA. This results in tighter pWCET estimates compared to current industrial practice. ; The research leading to these results has received funding from the European Community’s FP7 [FP7/2007-2013] under the PROXIMA Project (www.proxima-project.eu), grant agreement no 611085. This work has also been partially supported by the Spanish Ministry of Science and Innovation under grant TIN2015-65316-P and the HiPEAC Network of Excellence. Jaume Abella has been partially supported by the Ministry of Economy and Competitiveness under Ramon y Cajal postdoctoral fellowship number RYC-2013-14717. ; Peer Reviewed ; Postprint ... ) Array ( [Name] => TypeDocument [Label] => Document Type [Group] => TypDoc [Data] => conference object ) Array ( [Name] => Format [Label] => File Description [Group] => SrcInfo [Data] => 6 p. ) Array ( [Name] => Language [Label] => Language [Group] => Lang [Data] => English ) Array ( [Name] => ISBN [Label] => ISBN [Group] => ISBN [Data] => 978-3-9815370-8-6<br />3-9815370-8-4 ) Array ( [Name] => NoteTitleSource [Label] => Relation [Group] => SrcInfo [Data] => http://ieeexplore.ieee.org/document/7926966/; info:eu-repo/grantAgreement/MINECO/1PE/RYC-2013-14717; info:eu-repo/grantAgreement/MICINN/1PE/TIN2015-65316-P; Cros, F. [et al.]. Dynamic software randomisation: Lessons learnec from an aerospace case study. A: "2017 Design, Automation & Test in Europe Conference & Exhibition (DATE)". 2017, p. 103-108.; http://hdl.handle.net/2117/104579 ) Array ( [Name] => DOI [Label] => DOI [Group] => ID [Data] => 10.23919/DATE.2017.7926966 ) Array ( [Name] => URL [Label] => Availability [Group] => URL [Data] => http://hdl.handle.net/2117/104579<br />https://doi.org/10.23919/DATE.2017.7926966 ) Array ( [Name] => Copyright [Label] => Rights [Group] => Cpyrght [Data] => Open Access ) Array ( [Name] => AN [Label] => Accession Number [Group] => ID [Data] => edsbas.9B2EFA50 ) |
| RecordInfo |
Array
(
[BibEntity] => Array
(
[Identifiers] => Array
(
[0] => Array
(
[Type] => doi
[Value] => 10.23919/DATE.2017.7926966
)
)
[Languages] => Array
(
[0] => Array
(
[Text] => English
)
)
[Subjects] => Array
(
[0] => Array
(
[SubjectFull] => Àrees temàtiques de la UPC::Enginyeria electrònica
[Type] => general
)
[1] => Array
(
[SubjectFull] => Hardware
[Type] => general
)
[2] => Array
(
[SubjectFull] => Software
[Type] => general
)
[3] => Array
(
[SubjectFull] => Timing circuits--Design and construction--Data processing
[Type] => general
)
[4] => Array
(
[SubjectFull] => Timing
[Type] => general
)
[5] => Array
(
[SubjectFull] => Aerospace electronics
[Type] => general
)
[6] => Array
(
[SubjectFull] => Probabilistic logic
[Type] => general
)
[7] => Array
(
[SubjectFull] => Runtime
[Type] => general
)
[8] => Array
(
[SubjectFull] => Jitter
[Type] => general
)
[9] => Array
(
[SubjectFull] => Ordinadors--Dispositius de memòria
[Type] => general
)
[10] => Array
(
[SubjectFull] => Programari
[Type] => general
)
)
[Titles] => Array
(
[0] => Array
(
[TitleFull] => Dynamic software randomisation: Lessons learnec from an aerospace case study
[Type] => main
)
)
)
[BibRelationships] => Array
(
[HasContributorRelationships] => Array
(
[0] => Array
(
[PersonEntity] => Array
(
[Name] => Array
(
[NameFull] => Cros, Fabrice
)
)
)
[1] => Array
(
[PersonEntity] => Array
(
[Name] => Array
(
[NameFull] => Kosmidis, Leonidas
)
)
)
[2] => Array
(
[PersonEntity] => Array
(
[Name] => Array
(
[NameFull] => Wartel, Franck
)
)
)
[3] => Array
(
[PersonEntity] => Array
(
[Name] => Array
(
[NameFull] => Morales, David
)
)
)
[4] => Array
(
[PersonEntity] => Array
(
[Name] => Array
(
[NameFull] => Abella, Jaume
)
)
)
[5] => Array
(
[PersonEntity] => Array
(
[Name] => Array
(
[NameFull] => Broster, Ian
)
)
)
[6] => Array
(
[PersonEntity] => Array
(
[Name] => Array
(
[NameFull] => Cazorla, Francisco J.
)
)
)
[7] => Array
(
[PersonEntity] => Array
(
[Name] => Array
(
[NameFull] => Barcelona Supercomputing Center
)
)
)
)
[IsPartOfRelationships] => Array
(
[0] => Array
(
[BibEntity] => Array
(
[Dates] => Array
(
[0] => Array
(
[D] => 01
[M] => 01
[Type] => published
[Y] => 2017
)
)
[Identifiers] => Array
(
[0] => Array
(
[Type] => isbn-print
[Value] => 9783981537086
)
[1] => Array
(
[Type] => isbn-print
[Value] => 3981537084
)
[2] => Array
(
[Type] => issn-locals
[Value] => edsbas
)
[3] => Array
(
[Type] => issn-locals
[Value] => edsbas.oa
)
)
)
)
)
)
)
|
| IllustrationInfo |