{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,25]],"date-time":"2025-06-25T01:40:08Z","timestamp":1750815608640,"version":"3.41.0"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319671123"},{"type":"electronic","value":"9783319671130"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-67113-0_4","type":"book-chapter","created":{"date-parts":[[2017,8,24]],"date-time":"2017-08-24T04:21:24Z","timestamp":1503548484000},"page":"51-65","source":"Crossref","is-referenced-by-count":0,"title":["Automatic Conformance Testing of Safety Instrumented Systems for Offshore Oil Platforms"],"prefix":"10.1007","author":[{"given":"Hallan William","family":"Veiga","sequence":"first","affiliation":[]},{"given":"Max Hering","family":"de Queiroz","sequence":"additional","affiliation":[]},{"given":"Jean-Marie","family":"Farines","sequence":"additional","affiliation":[]},{"given":"Marcelo Lopes","family":"de Lima","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,8,25]]},"reference":[{"key":"4_CR1","unstructured":"Gruhn, P., Cheddie, H.: Safety Instrumented Systems - Design, Analysis, and Justification, 2nd edn. ISA: The Instrumentation, Systems, and Automation Society (2005)"},{"key":"4_CR2","unstructured":"Skogdalen, J.E., Smogeli, O.: Looking Forward-Reliability of Safety Critical Control Systems on Offshore Drilling Vessels. Working Paper, Deepwater Horizon Study Group (2011)"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"IEC 61511: Functional safety: safety instrumented systems for the process industry sector, part 1\u20133. International Electrotechnical Commission, Geneva (2003)","DOI":"10.1049\/ic:20030262"},{"key":"4_CR4","first-page":"47","volume":"4","author":"EI Gergely","year":"2011","unstructured":"Gergely, E.I., Coroiu, L., Popentiu-Vladicescu, F.: Methods for validation of PLC systems. J. Comput. Sci. Control Syst. 4, 47 (2011)","journal-title":"J. Comput. Sci. Control Syst."},{"key":"4_CR5","doi-asserted-by":"crossref","DOI":"10.1201\/b16592","volume-title":"Software Testing: A Craftsman\u2019s Approach","author":"P Jorgensen","year":"2002","unstructured":"Jorgensen, P.: Software Testing: A Craftsman\u2019s Approach, 2nd edn. CRC Press, New York (2002)","edition":"2"},{"key":"4_CR6","volume-title":"The Art of Software Testing","author":"GJ Myers","year":"2011","unstructured":"Myers, G.J., Thomas, T.M., Sandler, C.: The Art of Software Testing, 3rd edn. Wiley, New York (2011)","edition":"3"},{"key":"4_CR7","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/978-1-4419-8207-0_2","volume":"2","author":"S Nidhra","year":"2012","unstructured":"Nidhra, S.: Black box and white box testing techniques - a literature review. Int. J. Embed. Syst. Appl. 2, 29\u201350 (2012)","journal-title":"Int. J. Embed. Syst. Appl."},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Hamlet, D.: Software Quality, Software Process, and Software Testing. In: Advances in Computers, pp. 41\u2013191. Academic Press (1994)","DOI":"10.1016\/S0065-2458(08)60234-X"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Frey, G., Litz, L.: Formal methods in PLC programming. In: IEEE International Conference on Systems, Man and Cybernetics (2000)","DOI":"10.1109\/ICSMC.2000.884356"},{"key":"4_CR10","unstructured":"Tretmans, G.J., Belinfante, A.: Automatic testing with formal methods. Technical report, Centre for Telematics and Information Technology University of Twente (1999)"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Provost, J., Roussel, J.M., Faure, J.M.: Translating Grafcet specifications into Mealy machines for conformance test purposes. Control Engineering Practice (2011)","DOI":"10.1016\/j.conengprac.2010.10.001"},{"key":"4_CR12","volume-title":"Software Testing: Practical Model-Based Testing: A Tools Approach","author":"M Utting","year":"2006","unstructured":"Utting, M., Legeard, B.: Software Testing: Practical Model-Based Testing: A Tools Approach, 2nd edn. Morgan Kaufmann Publishers Inc., San Francisco (2006)","edition":"2"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Meinke, K., Sindhu, M.A.: LBTest: a learning-based testing tool for reactive systems. In: International Conference on Software Testing, Verification and Validation, ICST (2013)","DOI":"10.1109\/ICST.2013.62"},{"key":"4_CR14","unstructured":"Prati, T.J., Farines, J.M., Queiroz, M.H.: Automatic test of safety specifications for PLC programs in the oil and gas industry. In: Proceedings of the 2nd IFAC Workshop on Automatic Control in Offshore Oil and Gas Production, Florian\u00f3polis (2015)"},{"key":"4_CR15","unstructured":"ET-3000.00-1200-800-PGT-006: Project Guidelines for the Confection of Cause and Effect Matrixes and Logic Diagrams. Project Guidelines for Offshore Production Installation. Technical Specification, Petrobras (2000)"},{"key":"4_CR16","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1109\/TSE.1980.230467","volume":"6","author":"WE Howden","year":"1980","unstructured":"Howden, W.E.: Functional program testing. IEEE Trans. Softw. Eng. 6, 162\u2013169 (1980)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"4_CR17","unstructured":"Elmendorf, W.R.: Automated design of program test libraries. IBM Technical report (1970)"},{"key":"4_CR18","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1023\/A:1018979130614","volume":"4","author":"AM Paradkar","year":"1997","unstructured":"Paradkar, A.M., Tai, K.-C., Vouk, M.A.: Specification-based testing using cause-effect graphs. Anna. Softw. Eng. 4, 133\u2013157 (1997)","journal-title":"Anna. Softw. Eng."},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Paradkar, A., Tai, K.-C.: Test generation for Boolean expressions. In: Proceedings of the Sixth International Symposium on Software Reliability Engineering. IEEE (1995)","DOI":"10.1109\/ISSRE.1995.497649"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Malekzadeh, M., Raja, N.A.: An automatic test case generator for testing safety-critical software systems. In: The 2nd International Conference on Computer and Automation Engineering (ICCAE), vol. 1. IEEE (2010)","DOI":"10.1109\/ICCAE.2010.5451975"},{"key":"4_CR21","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1109\/32.75415","volume":"17","author":"B Berthomieu","year":"1991","unstructured":"Berthomieu, B., Diaz, M.: Modeling and verification of time dependent systems using time Petri nets. IEEE Trans. Softw. 17, 259\u2013273 (1991)","journal-title":"IEEE Trans. Softw."},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Selic, B.: What will it take? A view on adoption of model-based methods in practice. Softw. Syst. Model. 1\u201314 (2012)","DOI":"10.1007\/s10270-012-0261-0"},{"key":"4_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1007\/978-3-319-19488-2_13","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"F Pommereau","year":"2015","unstructured":"Pommereau, F.: SNAKES: a flexible high-level petri nets library (tool paper). In: Devillers, R., Valmari, A. (eds.) PETRI NETS 2015. LNCS, vol. 9115, pp. 254\u2013265. Springer, Cham (2015). doi: 10.1007\/978-3-319-19488-2_13"}],"container-title":["Lecture Notes in Computer Science","Critical Systems: Formal Methods and Automated Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-67113-0_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,25]],"date-time":"2025-06-25T01:10:44Z","timestamp":1750813844000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-67113-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319671123","9783319671130"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-67113-0_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}