Zobrazeno 1 - 10
of 30
pro vyhledávání: '"M K Selim"'
Publikováno v:
IEEE Transactions on Vehicular Technology. 70:1230-1245
The rapidly increasing complexity of software in modern cars dictates new trends in electrical and/or electronic (E/E) automotive architectures. As a result, many original equipment manufacturers (OEMs) and suppliers have been advocating centralized
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::69cabbfd86897ee2020cfd378a4910a0
https://doi.org/10.1109/tvt.2021.3054934
https://doi.org/10.1109/tvt.2021.3054934
Publikováno v:
QJM: An International Journal of Medicine. 114
Background Prolonged QTc interval in children may be congenital or acquired. It could be fatal if it induces tachyarrhythmias and cardiac arrest. Objectives This work studied the QTc interval in acute asthma attacks and its relation to the severity o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dda120412b4b10154c7cb5b46e5b4c27
https://doi.org/10.1093/qjmed/hcab113.044
https://doi.org/10.1093/qjmed/hcab113.044
Autor:
Stephen Wynn-Williams, Feisel Weslati, Mark Lawford, Vera Pantelic, Gordon Marks, Bennett Mackenzie, Moustapha Diab, Gehan M. K. Selim, Alan Wassyng
Publikováno v:
ESEC/SIGSOFT FSE
This paper presents and evaluates the Boundary Diagram Tool for change impact analysis of large Simulink designs of embedded systems. In our previous work, we developed the Reach/Coreach Tool for model slicing within a single Simulink model. The curr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::74f381b181d5d36887fb6f949037a60a
https://doi.org/10.1145/3368089.3417060
https://doi.org/10.1145/3368089.3417060
Publikováno v:
MODELS Companion
In recent years, the complexity of safety-critical systems such as automotive systems has been rapidly increasing. The need to address safety concerns in such systems led to the development of industry-specific safety standards. The standards mandate
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c86015917a8910964dbebfd22368f82d
https://doi.org/10.1145/3417990.3422012
https://doi.org/10.1145/3417990.3422012
Autor:
Boyue Caroline Hu, Rick Salay, Krzysztof Czarnecki, Marsha Chechik, Gehan M. K. Selim, Mona Rahimi
Publikováno v:
AIRE@RE
The application of machine learning (ML) based perception algorithms in safety-critical systems such as autonomous vehicles have raised major safety concerns due to the apparent risks to human lives. Yet assuring the safety of such systems is a chall
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3a62eda1f08935df3b131f5f801068dc
https://doi.org/10.1109/aire51212.2020.00014
https://doi.org/10.1109/aire51212.2020.00014
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030545482
SAFECOMP
SAFECOMP
Safety assurance cases (ACs) are structured arguments that assert the safety of cyber-physical systems. ACs use reasoning steps, or strategies, to show how a safety claim is decomposed into subclaims which are then supported by evidence. In practice,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cd849ee6a308cd9d909ee5ebc7d3491a
https://doi.org/10.1007/978-3-030-54549-9_3
https://doi.org/10.1007/978-3-030-54549-9_3
Autor:
Gehan M. K. Selim, Stephen Wynn-Williams, Vera Pantelic, Curtis Milo, Mark Lawford, Feisel Weslati, Zinovy Diskin, Moustapha Diab
Publikováno v:
Fundamental Approaches to Software Engineering ISBN: 9783030167219
FASE
FASE
In the Matlab Simulink environment, systems can be modelled using Simulink block diagrams and Stateflow state charts. While stateful logic is more naturally modelled using Stateflow, in practice complex block diagrams are often used instead, resultin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::82b94da2339f8fb6d3b3040c1c394587
https://doi.org/10.1007/978-3-030-16722-6_15
https://doi.org/10.1007/978-3-030-16722-6_15
Autor:
Gehan M. K. Selim, Alan Wassyng, Alexander Schaap, Mark Lawford, Lucian M. Patcas, Gordon Marks, Vera Pantelic
Publikováno v:
MoDELS Companion
The importance of appropriate software design documentation has been well-established. Yet in industrial practice design documentation of large software systems is often out of date or entirely lacking in large part due to the effort required to prod
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4b1689f3d213fc6be42d051dfe167377
https://doi.org/10.1145/3270112.3270115
https://doi.org/10.1145/3270112.3270115
Publikováno v:
MoDELS
Studies of code repositories have long been used to understand the use of programming languages and to provide insight into how they should evolve. Such studies can highlight features that are rarely used and can safely be removed to simplify the lan
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1ad00711c285da58b809e56943a9e34d
https://doi.org/10.1109/models.2017.20
https://doi.org/10.1109/models.2017.20
Publikováno v:
Software & Systems Modeling. 14:365-381
Many companies in the automotive industry have adopted model-driven development in their vehicle software development. As a major automotive company, General Motors (GM) has been using a custom-built, domain-specific modeling language, implemented as
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6b041fb01c1b4496f4e9e32a918c916e
https://doi.org/10.1007/s10270-013-0365-1
https://doi.org/10.1007/s10270-013-0365-1