{ "labelLang" : "hun", "responseDate" : "2024-03-29 09:59", "paging" : { "last" : false, "first" : true, "totalPages" : 3, "totalElements" : 29, "totalUncutElements" : 29, "totalEstimatedElements" : 20, "size" : 10, "number" : 1, "numberOfElements" : 10, "sort" : [ { "direction" : "DESC", "property" : "publishedYear", "ascending" : false }, { "direction" : "DESC", "property" : "issue", "ascending" : false } ] }, "content" : [ { "otype" : "JournalArticle", "mtid" : 30693688, "status" : "APPROVED", "published" : true, "comment" : "Export Date: 29 May 2019 \n Correspondence Address: Dernehl, C.; Informatik 11 – Embedded Software, RWTH Aachen University, Ahornstrasse 55, Germany; email: dernehl@embedded.rwth-aachen.de", "unhandledTickets" : 0, "deleted" : false, "lastRefresh" : "2023-04-26T11:26:43.747+0000", "lastModified" : "2020-09-25T05:55:10.007+0000", "created" : "2019-05-29T11:49:50.377+0000", "creator" : { "otype" : "Author", "mtid" : 10012981, "link" : "/api/author/10012981", "label" : "Simon Gyula (Szenzorhálózatok)", "familyName" : "Simon", "givenName" : "Gyula", "published" : true, "oldId" : 10012981, "snippet" : true }, "lastDuplumOK" : "2019-08-11T20:58:49.977+0000", "lastDuplumSearch" : "2019-08-11T20:58:49.977+0000", "core" : false, "citation" : true, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 24, "link" : "/api/publicationtype/24", "label" : "Folyóiratcikk", "code" : 24, "otypeName" : "JournalArticle", "listPosition" : 1, "published" : true, "oldId" : 24, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000059, "link" : "/api/subtype/10000059", "label" : "Szakcikk (Folyóiratcikk)", "name" : "Szakcikk", "nameEng" : "Article", "docType" : { "otype" : "PublicationType", "mtid" : 24, "link" : "/api/publicationtype/24", "label" : "Folyóiratcikk", "code" : 24, "otypeName" : "JournalArticle", "listPosition" : 1, "published" : true, "oldId" : 24, "snippet" : true }, "listPosition" : 101, "published" : true, "oldId" : 10000059, "snippet" : true }, "category" : { "otype" : "Category", "mtid" : 1, "link" : "/api/category/1", "label" : "Tudományos", "published" : true, "oldId" : 1, "snippet" : true }, "languages" : [ { "otype" : "Language", "mtid" : 10002, "link" : "/api/language/10002", "label" : "Angol", "name" : "Angol", "nameEng" : "English", "published" : true, "oldId" : 2, "snippet" : true } ], "firstAuthor" : "Dernehl, C.", "authorships" : [ { "otype" : "PersonAuthorship", "mtid" : 87277843, "link" : "/api/authorship/87277843", "label" : "Dernehl, C.", "listPosition" : 1, "share" : 0.0, "first" : true, "last" : false, "familyName" : "Dernehl", "givenName" : "C.", "authorTyped" : true, "editorTyped" : false, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 1, "link" : "/api/authorshiptype/1", "label" : "Szerző", "code" : 0, "published" : true, "oldId" : 0, "snippet" : true }, "published" : false, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 87277844, "link" : "/api/authorship/87277844", "label" : "Kühn, J.", "listPosition" : 2, "share" : 0.0, "first" : false, "last" : false, "familyName" : "Kühn", "givenName" : "J.", "authorTyped" : true, "editorTyped" : false, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 1, "link" : "/api/authorshiptype/1", "label" : "Szerző", "code" : 0, "published" : true, "oldId" : 0, "snippet" : true }, "published" : false, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 87277845, "link" : "/api/authorship/87277845", "label" : "Kowalewski, S.", "listPosition" : 3, "share" : 0.0, "first" : false, "last" : true, "familyName" : "Kowalewski", "givenName" : "S.", "authorTyped" : true, "editorTyped" : false, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 1, "link" : "/api/authorshiptype/1", "label" : "Szerző", "code" : 0, "published" : true, "oldId" : 0, "snippet" : true }, "published" : false, "snippet" : true } ], "title" : "Case studies on automated verification with slope boundaries for block diagrams", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 15649652, "link" : "/api/publicationidentifier/15649652", "label" : "DOI: 10.1016/j.cl.2017.09.001", "source" : { "otype" : "PlainSource", "mtid" : 6, "link" : "/api/publicationsource/6", "label" : "DOI", "type" : { "otype" : "PublicationSourceType", "mtid" : 10001, "link" : "/api/publicationsourcetype/10001", "label" : "DOI", "mayHaveOa" : true, "published" : true, "snippet" : true }, "name" : "DOI", "nameEng" : "DOI", "linkPattern" : "https://doi.org/@@@", "publiclyVisible" : true, "published" : true, "oldId" : 6, "snippet" : true }, "idValue" : "10.1016/j.cl.2017.09.001", "realUrl" : "https://doi.org/10.1016/j.cl.2017.09.001", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 22379149, "link" : "/api/publicationidentifier/22379149", "label" : "WoS: 000454970200025", "source" : { "otype" : "PlainSource", "mtid" : 1, "link" : "/api/publicationsource/1", "label" : "WoS", "type" : { "otype" : "PublicationSourceType", "mtid" : 10003, "link" : "/api/publicationsourcetype/10003", "label" : "Indexelő adatbázis", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "WoS", "nameEng" : "WoS", "linkPattern" : "https://www.webofscience.com/wos/woscc/full-record/@@@", "publiclyVisible" : true, "published" : true, "oldId" : 1, "snippet" : true }, "validState" : "IDENTICAL", "idValue" : "000454970200025", "realUrl" : "https://www.webofscience.com/wos/woscc/full-record/000454970200025", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 15649651, "link" : "/api/publicationidentifier/15649651", "label" : "Scopus: 85035044235", "source" : { "otype" : "PlainSource", "mtid" : 3, "link" : "/api/publicationsource/3", "label" : "Scopus", "type" : { "otype" : "PublicationSourceType", "mtid" : 10003, "link" : "/api/publicationsourcetype/10003", "label" : "Indexelő adatbázis", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "Scopus", "linkPattern" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-@@@", "publiclyVisible" : true, "published" : true, "oldId" : 3, "snippet" : true }, "idValue" : "85035044235", "realUrl" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85035044235", "published" : false, "snippet" : true } ], "journal" : { "otype" : "Journal", "mtid" : 10001159, "link" : "/api/journal/10001159", "label" : "COMPUTER LANGUAGES SYSTEMS & STRUCTURES 1477-8424 1873-6866", "pIssn" : "1477-8424", "eIssn" : "1873-6866", "reviewType" : "REVIEWED", "noIF" : false, "sciIndexed" : true, "scopusIndexed" : true, "lang" : "FOREIGN", "hungarian" : false, "published" : true, "oldId" : 10001159, "snippet" : true }, "volume" : "54", "firstPage" : "528", "lastPage" : "543", "firstPageOrInternalIdForSort" : "528", "pageLength" : 16, "publishedYear" : 2018, "abstractText" : "Model-based development is increasingly used in embedded systems, which are often deployed in a safety-critical environment. Verification techniques, supporting the development process can not only increase safety, but also help to speed up the process. In many cases models are designed with block diagrams, assisting rapid prototyping. However, automated verification is, thereafter, often applied to the resulting code. Instead of focusing on code, we apply verification techniques to models consisting of block diagrams and MATLAB code. We propose to combine a value and slope range analysis, with symbolic methods. In this way, our concept can not only prove properties in models, but also check rate requirements automatically, which arise from physical constraints of the environment. We evaluate our work in case studies from ongoing research projects. These case studies cover the domains of clinical intensive care, autonomous drone control and driver assistance. All systems are also evaluated with a commercial verification tool, highlighting benefits of the tool and our implementation. © 2017 Elsevier Ltd", "keywords" : [ { "otype" : "Keyword", "mtid" : 1008731, "link" : "/api/keyword/1008731", "label" : "Automobile drivers", "published" : true, "oldId" : 1008731, "snippet" : true }, { "otype" : "Keyword", "mtid" : 1014077, "link" : "/api/keyword/1014077", "label" : "Embedded systems", "published" : true, "oldId" : 1014077, "snippet" : true }, { "otype" : "Keyword", "mtid" : 1056011, "link" : "/api/keyword/1056011", "label" : "Codes (symbols)", "published" : true, "oldId" : 1056011, "snippet" : true }, { "otype" : "Keyword", "mtid" : 1068884, "link" : "/api/keyword/1068884", "label" : "Graphic methods", "published" : true, "oldId" : 1068884, "snippet" : true }, { "otype" : "Keyword", "mtid" : 1089450, "link" : "/api/keyword/1089450", "label" : "Automated verification", "published" : true, "oldId" : 1089450, "snippet" : true }, { "otype" : "Keyword", "mtid" : 1093929, "link" : "/api/keyword/1093929", "label" : "MATLAB", "published" : true, "oldId" : 1093929, "snippet" : true }, { "otype" : "Keyword", "mtid" : 1102830, "link" : "/api/keyword/1102830", "label" : "Safety engineering", "published" : true, "oldId" : 1102830, "snippet" : true }, { "otype" : "Keyword", "mtid" : 1104401, "link" : "/api/keyword/1104401", "label" : "Development process", "published" : true, "oldId" : 1104401, "snippet" : true }, { "otype" : "Keyword", "mtid" : 1140756, "link" : "/api/keyword/1140756", "label" : "Verification", "published" : true, "oldId" : 1140756, "snippet" : true }, { "otype" : "Keyword", "mtid" : 1140756, "link" : "/api/keyword/1140756", "label" : "Verification", "published" : true, "oldId" : 1140756, "snippet" : true }, { "otype" : "Keyword", "mtid" : 1296752, "link" : "/api/keyword/1296752", "label" : "Simulink", "published" : true, "oldId" : 1296752, "snippet" : true }, { "otype" : "Keyword", "mtid" : 1296752, "link" : "/api/keyword/1296752", "label" : "Simulink", "published" : true, "oldId" : 1296752, "snippet" : true }, { "otype" : "Keyword", "mtid" : 1548438, "link" : "/api/keyword/1548438", "label" : "drones", "published" : true, "snippet" : true }, { "otype" : "Keyword", "mtid" : 1724623, "link" : "/api/keyword/1724623", "label" : "Block diagrams", "published" : true, "snippet" : true }, { "otype" : "Keyword", "mtid" : 1724623, "link" : "/api/keyword/1724623", "label" : "Block diagrams", "published" : true, "snippet" : true }, { "otype" : "Keyword", "mtid" : 1724629, "link" : "/api/keyword/1724629", "label" : "Critical environment", "published" : true, "snippet" : true }, { "otype" : "Keyword", "mtid" : 1724630, "link" : "/api/keyword/1724630", "label" : "Model based development", "published" : true, "snippet" : true }, { "otype" : "Keyword", "mtid" : 1724630, "link" : "/api/keyword/1724630", "label" : "Model based development", "published" : true, "snippet" : true }, { "otype" : "Keyword", "mtid" : 1724631, "link" : "/api/keyword/1724631", "label" : "Physical constraints", "published" : true, "snippet" : true }, { "otype" : "Keyword", "mtid" : 1724632, "link" : "/api/keyword/1724632", "label" : "Verification techniques", "published" : true, "snippet" : true } ], "digital" : null, "printed" : null, "sourceYear" : 2019, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : false, "nationalOrigin" : null, "missingAuthor" : false, "oaType" : "NONE", "oaCheckDate" : "2023-04-26", "oaFree" : false, "citationCount" : 0, "citationCountUnpublished" : 0, "citationCountWoOther" : 0, "independentCitCountWoOther" : 0, "doiCitationCount" : 0, "wosCitationCount" : 0, "scopusCitationCount" : 0, "independentCitationCount" : 0, "unhandledCitationCount" : 0, "citingPubCount" : 0, "independentCitingPubCount" : 0, "unhandledCitingPubCount" : 0, "citedPubCount" : 1, "citedCount" : 1, "ratings" : [ { "otype" : "SjrRating", "mtid" : 10769525, "link" : "/api/sjrrating/10769525", "label" : "sjr:Q2 (2018) Scopus - Computer Networks and Communications COMPUTER LANGUAGES SYSTEMS & STRUCTURES 1477-8424 1873-6866", "listPos" : 87, "rankValue" : 0.49, "type" : "journal", "ratingType" : { "otype" : "RatingType", "mtid" : 10002, "link" : "/api/ratingtype/10002", "label" : "sjr", "code" : "sjr", "published" : true, "snippet" : true }, "subject" : { "otype" : "ClassificationExternal", "mtid" : 1705, "link" : "/api/classificationexternal/1705", "label" : "Scopus - Computer Networks and Communications", "published" : true, "oldId" : 1705, "snippet" : true }, "ranking" : "Q2", "calculation" : "DIRECT", "published" : true, "snippet" : true } ], "ratingsForSort" : "Q2", "hasCitationDuplums" : false, "userChangeableUntil" : "2019-11-09T21:58:49.786+0000", "directInstitutesForSort" : "", "ownerAuthorCount" : 2, "ownerInstituteCount" : 16, "directInstituteCount" : 0, "authorCount" : 3, "contributorCount" : 0, "hasQualityFactor" : true, "link" : "/api/publication/30693688", "label" : "Dernehl C. et al. Case studies on automated verification with slope boundaries for block diagrams. (2018) COMPUTER LANGUAGES SYSTEMS & STRUCTURES 1477-8424 1873-6866 54 528-543", "template" : "