{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T15:17:15Z","timestamp":1730215035621,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,6,1]],"date-time":"2023-06-01T00:00:00Z","timestamp":1685577600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,6,1]],"date-time":"2023-06-01T00:00:00Z","timestamp":1685577600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,6]]},"DOI":"10.1109\/dsn-w58399.2023.00064","type":"proceedings-article","created":{"date-parts":[[2023,8,10]],"date-time":"2023-08-10T17:26:48Z","timestamp":1691688408000},"page":"251-258","source":"Crossref","is-referenced-by-count":0,"title":["llhsc: A DeviceTree Syntax and Semantic Checker"],"prefix":"10.1109","author":[{"given":"V\u00edtor","family":"Rodrigues","sequence":"first","affiliation":[{"name":"VORTEX-CoLab,Vila Nova de Gaia,Portugal"}]},{"ORCID":"http:\/\/orcid.org\/0000-0001-9452-0995","authenticated-orcid":false,"given":"Andr\u00e9 Matos","family":"Pedro","sequence":"additional","affiliation":[{"name":"VORTEX-CoLab,Vila Nova de Gaia,Portugal"}]}],"member":"263","reference":[{"article-title":"Linux Device Drivers Development: Develop Customized Drivers for Embedded Linux","year":"2017","author":"madieu","key":"ref13"},{"journal-title":"RFC 00\/15","article-title":"Device tree schemas and validation","year":"2013","key":"ref12"},{"key":"ref15","first-page":"231","article-title":"SAT-based analysis of feature models is easy","author":"mendonca","year":"2009","journal-title":"Proceedings of the 13th International Software Product Line Conference"},{"key":"ref14","first-page":"3:1","article-title":"Bao: A lightweight static partitioning hypervisor for modern multi-core embedded systems","volume":"77","author":"martins","year":"2020","journal-title":"NG-RES HiPEAC ser OASIcs"},{"key":"ref20","doi-asserted-by":"crossref","first-page":"5:1","DOI":"10.1145\/2110356.2110361","article-title":"A declarative language approach to device configuration","volume":"30","author":"sch\u00fcpbach","year":"2012","journal-title":"ACM Trans Comput Syst"},{"key":"ref11","article-title":"A symphony of flavours: Using the device tree to describe embedded hardware","author":"likely","year":"2008","journal-title":"Elc"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.21236\/ADA235785"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2011.53"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/11554844_3"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.compind.2019.103179"},{"key":"ref17","article-title":"Look mum, no VM exits! (almost)","volume":"abs 1705 6932","author":"ramsauer","year":"2017","journal-title":"CoRR"},{"key":"ref16","article-title":"Software Product Line Engineering-Foundations, Principles, and Techniques","author":"pohl","year":"2005","journal-title":"Springer"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2006.08.008"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2021.3124320"},{"journal-title":"Obeo Acceleo","article-title":"Eclipse Foundation","year":"2022","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.micpro.2016.09.008"},{"key":"ref9","first-page":"40:1","article-title":"Graphgrammar-based IP-integration (GRIP)-an EDA tool for software-defined SoCs","volume":"23","author":"jassi","year":"2018","journal-title":"ACM Trans Design Autom Electr Syst"},{"key":"ref4","article-title":"Software product lines-practices and patterns","author":"clements","year":"2002","journal-title":"Ser SEI Series in Software Engineering"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.01.001"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2019136.2019175"},{"article-title":"Device tree schemas and validation","year":"2022","author":"cousson","key":"ref5"}],"event":{"name":"2023 53rd Annual IEEE\/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W)","start":{"date-parts":[[2023,6,27]]},"location":"Porto, Portugal","end":{"date-parts":[[2023,6,30]]}},"container-title":["2023 53rd Annual IEEE\/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10207054\/10207077\/10207108.pdf?arnumber=10207108","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,28]],"date-time":"2023-08-28T17:45:41Z","timestamp":1693244741000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10207108\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/dsn-w58399.2023.00064","relation":{},"subject":[],"published":{"date-parts":[[2023,6]]}}}