{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T08:17:11Z","timestamp":1742977031859,"version":"3.40.3"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319122137"},{"type":"electronic","value":"9783319122144"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-12214-4_14","type":"book-chapter","created":{"date-parts":[[2014,9,24]],"date-time":"2014-09-24T01:48:44Z","timestamp":1411523324000},"page":"181-194","source":"Crossref","is-referenced-by-count":7,"title":["Safety Assessment of an Electrical System with AltaRica 3.0"],"prefix":"10.1007","author":[{"given":"Hala","family":"Mortada","sequence":"first","affiliation":[]},{"given":"Tatiana","family":"Prosvirnova","sequence":"additional","affiliation":[]},{"given":"Antoine","family":"Rauzy","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","first-page":"109","volume":"34","author":"A. Arnold","year":"2000","unstructured":"Arnold, A., Griffault, A., Point, G., Rauzy, A.: The altarica formalism for describing concurrent systems. Fundamenta Informaticae\u00a034, 109\u2013124 (2000)","journal-title":"Fundamenta Informaticae"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Rauzy, A.: Modes automata and their compilation into fault trees. Reliability Engneering and System Safety (2002)","DOI":"10.1016\/S0951-8320(02)00042-X"},{"key":"14_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"488","DOI":"10.1007\/978-3-540-27813-9_43","volume-title":"Computer Aided Verification","author":"A. Griffault","year":"2004","unstructured":"Griffault, A., Vincent, A.: The mec 5 model-checker. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol.\u00a03114, pp. 488\u2013491. Springer, Heidelberg (2004)"},{"key":"14_CR4","unstructured":"Khuu, M.: Contribution \u00e0 l\u2019acc\u00e9l\u00e9ration de la simulation stochastique sur des mod\u00e8les AltaRica Data Flow. PhD thesis, Universit\u00e9 de la M\u00e8diterran\u00e9e, Aix-Marseille II (2008)"},{"key":"14_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1007\/978-3-540-87698-4_27","volume-title":"Computer Safety, Reliability, and Security","author":"S. Humbert","year":"2008","unstructured":"Humbert, S., Seguin, C., Castel, C., Bosc, J.-M.: Deriving safety software requirements from an altarica system model. In: Harrison, M.D., Sujan, M.-A. (eds.) SAFECOMP 2008. LNCS, vol.\u00a05219, pp. 320\u2013331. Springer, Heidelberg (2008)"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Quayzin, X., Arbaretier, E.: Performance modeling of a surveillance mission. In: Proceedings of the Annual Reliability and Maintainability Symposium, RAMS 2009, Fort Worth, Texas USA, pp. 206\u2013211 (2009) ISBN 978-1-4244-2508-2","DOI":"10.1109\/RAMS.2009.4914676"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Sghairi, M., De-Bonneval, A., Crouzet, Y., Aubert, J.J., Brot, P., Laarouchi, Y.: Distributed and reconfigurable architecture for flight control system. In: Proceedings of 28th Digital Avionics Systems Conference (DASC 2009), Orlando, USA (2009)","DOI":"10.1109\/DASC.2009.5347447"},{"key":"14_CR8","unstructured":"Chaudemar, J.C., Bensana, E., Castel, C., Seguin, C.: Altarica and event-b models for operational safety analysis: Unmanned aerial vehicle case study. In: Proceedings Formal Methods and Tools, FMT 2009, London, England (2009)"},{"key":"14_CR9","unstructured":"Adeline, R., Cardoso, J., Darfeuil, P., Humbert, S., Seguin, C.: Toward a methodology for the altarica modelling of multi-physical systems. In: Proceedings of European Safety and Reliability Conference, ESREL 2010, Rhodes, Greece (2010)"},{"issue":"22","key":"14_CR10","doi-asserted-by":"publisher","first-page":"127","DOI":"10.3182\/20130904-3-UK-4041.00028","volume":"46","author":"Tatiana Prosvirnova","year":"2013","unstructured":"Prosvirnova, T., Batteux, M., Brameret, P.A., Cherfi, A., Friedlhuber, T., Roussel, J.M., Rauzy, A.: The altarica 3.0 project for model-based safety assessment. In: Proceedings of 4th IFAC Workshop on Dependable Control of Discrete Systems, DCDS 2013, pp. 127\u2013132. International Federation of Automatic Control, York (2013) ISBN: 978-3-902823-49-6, ISSN: 1474-6670","journal-title":"IFAC Proceedings Volumes"},{"key":"14_CR11","unstructured":"Noble, J., Taivalsaari, A., Moore, I.: Prototype-Based Programming: Concepts, Languages and Applications. Springer, Heidelberg (1999) ISBN-10: 9814021253. ISBN-13: 978-9814021258"},{"key":"14_CR12","first-page":"495","volume":"222","author":"A. Rauzy","year":"2008","unstructured":"Rauzy, A.: Guarded transition systems: A new states\/events formalism for reliability studies. Journal of Risk and Reliability\u00a0222, 495\u2013505 (2008)","journal-title":"Journal of Risk and Reliability"},{"key":"14_CR13","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/S0951-8320(03)00143-1","volume":"82","author":"M. Bouissou","year":"2003","unstructured":"Bouissou, M., Bon, J.L.: A new formalism that combines advantages of fault-trees and markov models: Boolean logic-driven markov processes. Reliability Engineering and System Safety\u00a082, 149\u2013163 (2003)","journal-title":"Reliability Engineering and System Safety"},{"key":"14_CR14","unstructured":"Meyer, B.: Object-Oriented Software Construction. Prentice Hall (1988) ISBN-10: 0136290493. ISBN-13: 978-0136290490"},{"key":"14_CR15","unstructured":"Abadi, M., Cardelli, L.: A Theory of Objects. Monographs in Computer Science. Springer-Verlag. New York Inc. (1998) ISBN-10: 0387947752. ISBN-13: 978-0387947754"},{"key":"14_CR16","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/s00163-008-0043-4","volume":"19","author":"A. Hatchuel","year":"2009","unstructured":"Hatchuel, A., Weil, B.: C-k design theory: An advanced formulation. research in engineering design. Research in Engineering Design\u00a019, 181\u2013192 (2009)","journal-title":"Research in Engineering Design"}],"container-title":["Lecture Notes in Computer Science","Model-Based Safety and Assessment"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-12214-4_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T19:44:28Z","timestamp":1558986268000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-12214-4_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319122137","9783319122144"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-12214-4_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}