{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T23:52:25Z","timestamp":1729641145141,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,9]]},"DOI":"10.1109\/etfa.2012.6489616","type":"proceedings-article","created":{"date-parts":[[2013,4,5]],"date-time":"2013-04-05T16:57:59Z","timestamp":1365181079000},"page":"1-8","source":"Crossref","is-referenced-by-count":2,"title":["Software architecture knowledge management for safety systems"],"prefix":"10.1109","author":[{"given":"Timo","family":"Vepsalainen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Seppo","family":"Kuikka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Veli-Pekka","family":"Eloranta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","article-title":"Simulation assisted, model- based development of safety related interlocks","author":"vepsa?la?inen","year":"2011","journal-title":"1st International Conference on Simulation and Modeling Methodologies Technologies and Applications Noordwijkerhout the Netherlands"},{"journal-title":"UMLProfile for MARTE Modeling and Analysis of Real-TimeEmbeddedSystems Version 1 0","year":"2009","key":"17"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2011.6058979"},{"key":"15","doi-asserted-by":"crossref","DOI":"10.1016\/j.infsof.2012.01.005","article-title":"A sysml-based approach to traceability management and design slicing in support of safety certification: Framework","author":"nejati","year":"2012","journal-title":"Tool Support and Case Studies Information and Software Technology"},{"key":"16","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1007\/s10270-009-0128-1","article-title":"A dependability profile within marte","author":"bernardi","year":"2011","journal-title":"Software and Systems Modeling"},{"journal-title":"Polarion MedPack Extension","year":"0","key":"13"},{"key":"14","first-page":"574","article-title":"A uml profile for developing airworthiness-compliant safety-critical software","volume":"4735","author":"zoughbi","year":"2007","journal-title":"MODELS 2007 LNCS"},{"key":"11","article-title":"Safety tactics for software architecture design","author":"wu","year":"2004","journal-title":"Proceedings of the 28th International Computer Software and Applications Conference IEEE Computer Society"},{"journal-title":"PolarionSoftware","year":"0","key":"12"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/52.469759"},{"journal-title":"IEEE Std 1471-2000 Recommended Practice for Architectural Description of Software-Intensive Systems","year":"2000","key":"2"},{"journal-title":"IEC 61508 Functional Safety of Electrical\/electronic\/programmable Electronic Safety-related Systems Parts 1-7","year":"2010","key":"1"},{"key":"10","article-title":"Safety-critical systems design","author":"douglass","year":"1998","journal-title":"Embedded Systems Conference"},{"key":"7","doi-asserted-by":"crossref","DOI":"10.21236\/ADA382629","author":"kazman","year":"2000","journal-title":"ATAM Method Forarchitecture Evaluation"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2007.124"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/1163514.1163526"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/WICSA.2005.19"},{"journal-title":"Safety of Machinery - Safetyrelated Parts of Control Systems - Part 1 General Principles for Design","year":"2007","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.1019479"}],"event":{"name":"2012 IEEE 17th Conference on Emerging Technologies & Factory Automation (ETFA 2012)","start":{"date-parts":[[2012,9,17]]},"location":"Krakow, Poland","end":{"date-parts":[[2012,9,21]]}},"container-title":["Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6479732\/6489522\/06489616.pdf?arnumber=6489616","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,11]],"date-time":"2019-07-11T19:23:01Z","timestamp":1562872981000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6489616\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/etfa.2012.6489616","relation":{},"subject":[],"published":{"date-parts":[[2012,9]]}}}