Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Varsha P Suresh"'
Publikováno v:
Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f3b3f199873c9388643c04e31b4692d0
https://doi.org/10.18293/seke2022-147
https://doi.org/10.18293/seke2022-147
Publikováno v:
Programming Languages and Systems ISBN: 9783030993351
We consider the problem of statically detecting data races in periodic real-time programs that use locks, and run on a single processor platform. We propose a technique based on a small set of rules that exploits the priority, periodicity, locking, a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::60e91c1787d81f78438d5b4df84047e1
https://doi.org/10.1007/978-3-030-99336-8_11
https://doi.org/10.1007/978-3-030-99336-8_11
Publikováno v:
ETFA
Automated testing tools for programs written in IEC 61131-3 standard of programming languages supporting the development of PLC control software is less available. Symbolic execution is a program analysis technique that determines what inputs cause e
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0efbe73afbff9745861cf6264f55af35
https://doi.org/10.1109/etfa.2019.8869097
https://doi.org/10.1109/etfa.2019.8869097
Publikováno v:
ISEC
With the advent of programmable logic controllers (PLCs), the use of control applications has increased significantly in the recent years. Control system software are usually embedded real time software which interacts with other physical subsystems.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::94c642f518ffb58df37666e81d887198
https://doi.org/10.1145/3299771.3299799
https://doi.org/10.1145/3299771.3299799
Publikováno v:
ISEC
Most of the embedded systems used in avionics and automotive industries are safety critical in nature. Safety validation of these systems are challenging inspite of significant advances in the field of system and software engineering. In our previous
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::00221fd88ff82d2d934d404500059a16
https://doi.org/10.1145/3172871.3172877
https://doi.org/10.1145/3172871.3172877