Back to Search
Start Over
An XSLT-Based Proposal to Ease Embedded Critical Systems Tools Implementation, Verification, Validation, Testing, and Certification Efforts.
- Source :
- IEEE Embedded Systems Letters; Sep2023, Vol. 15 Issue 3, p165-168, 4p
- Publication Year :
- 2023
-
Abstract
- Implementing embedded critical system tools using general-purpose programming languages usually challenges conformance to relevant standards. This letter proposes implementing tools that manipulate a system model expressed in extensive markup language using the extensive stylesheet language transformations (XSLT) and related technologies playing specific roles in a particular sequence developed to ease verification, validation, testing, and certification efforts. XSLT is a data-centric, domain-specific language that produces a more straightforward tool implementation, thus reducing human errors. We will introduce the proposal by reviewing, as an example, the reimplementation of a tool initially written in Python that automatically generates the VHDL source code of an embedded critical system. Finally, we will compare both implementations, noting compelling results. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 19430663
- Volume :
- 15
- Issue :
- 3
- Database :
- Complementary Index
- Journal :
- IEEE Embedded Systems Letters
- Publication Type :
- Academic Journal
- Accession number :
- 171102589
- Full Text :
- https://doi.org/10.1109/LES.2022.3221810