Page 109 of 321
Abstract: Nowadays, we live in a society with billions of devices that are interconnected and interact together to improve the quality of our lives. The management and processing of information and knowledge have by now become our main resources, and the fundamental factors of economic and social development, and it is achieved through Big Data Frameworks (BDFs). The amount of such data is becoming larger e...
Abstract: Abstract In the automotive domain, the development of all safety-critical systems has to comply with safety standards such as ISO 26262. These standards require established traceability, the ability to relate artifacts created during development of a system, to ensure resulting systems are well-tested and therefore safe. This paper contrasts general traceability challenges and solutions with those...
Abstract: This paper presents a generic technical solution that can increase Industry 4.0 maturity by collecting data from sensors and control systems on the shop floor. Within the research project “5G-Enabled Manufacturing”, an LTE (Long-Term Evolution) network with 5G technologies was deployed on the shop floor to enable fast and scalable connectivity. This network was used to connect a grinding machine t...
Abstract: Teaching assistants (TAs) are employed for supporting various activities of a course, from assisting with course material, grading and, predominantly, bridging the interaction between teachers and students. This role is even more significant in large courses with dozens of students, particularly during lab sessions with practical assignments. Therefore, here we explore how does the role of the TA ...
Abstract: Recently, a growing trend has emerged toward using Internet of Things (IoT) in the context of industrial systems, which is referred to as industrial IoT. To deal with the time‐critical requirements of industrial applications, it is necessary to consider reliability and timeliness during the design of an industrial IoT system. Through the separation of the control plane and the data plane, software...
Abstract: Software development consulting companies must be able to select the best suited developers for their clients. A method of doing this is through competence evaluation. Sigma IT Consulting uses manual methods consisting of heavy documentation for employees to fill in their competence. Problems such as data inconsistencies in documentation of competency might cause difficulties for managers while ma...
Abstract: Self-adaptive software applications often include some form of progress rate control. Various frameworks were proposed to measure progress and provision resources to govern it, hence- in control terms- for sensors and actuators. The same is not true for control laws, however. In this paper we address this part of the overall problem, proposing a standard control structure that can be easily config...
Abstract: This article presents a runtime verification tool for embedded software executing under the open source real-time operating system FreeRTOS. The tool detects and diagnoses concurrency bugs such as deadlock, starvation, and suspension based-locking. The tool finds concurrency bugs at runtime without debugging and tracing the source code. The tool uses the Tracealyzer tool for logging relevant event...
Page 109 of 321