A survey on the practical use of UML for different software architecture viewpoints

M Ozkaya, F Erata - Information and Software Technology, 2020 - Elsevier
Context Software architecture viewpoints modularize the software architectures in terms of
different viewpoints that each address a different concern. Unified Modeling Language …

Towards automated statistical partial discharge source classification using pattern recognition techniques

H Janani, B Kordi - High Voltage, 2018 - Wiley Online Library
This study presents a comprehensive review of the automated classification in partial
discharge (PD) source identification and probabilistic interpretation of the classification …

[图书][B] High-performance embedded computing: architectures, applications, and methodologies

W Wolf - 2010 - books.google.com
Over the past several years, embedded systems have emerged as an integral though
unseen part of many consumer, industrial, and military devices. The explosive growth of …

Automatic device driver synthesis with Termite

L Ryzhyk, P Chubb, I Kuz, E Le Sueur… - Proceedings of the ACM …, 2009 - dl.acm.org
Faulty device drivers cause significant damage through down time and data loss. The
problem can be mitigated by an improved driver development process that guarantees …

The design and implementation of microdrivers

V Ganapathy, MJ Renzelmann, A Balakrishnan… - ACM Sigplan …, 2008 - dl.acm.org
Device drivers commonly execute in the kernel to achieve high performance and easy
access to kernel services. However, this comes at the price of decreased reliability and …

Dingo: Taming device drivers

L Ryzhyk, P Chubb, I Kuz, G Heiser - Proceedings of the 4th ACM …, 2009 - dl.acm.org
Device drivers are notorious for being a major source of failure in operating systems. In
analysing a sample of real defects in Linux drivers, we found that a large proportion (39%) of …

μPnP: plug and play peripherals for the internet of things

F Yang, N Matthys, R Bachiller, S Michiels… - Proceedings of the …, 2015 - dl.acm.org
Internet of Things (IoT) applications require diverse sensors and actuators. However,
contemporary IoT devices provide limited support for the integration of third-party …

Jacdac: Service-based prototyping of embedded systems

T Ball, P de Halleux, J Devine, S Hodges… - Proceedings of the ACM …, 2024 - dl.acm.org
The traditional approach to programming embedded systems is monolithic: firmware on a
microcontroller contains both application code and the drivers needed to communicate with …

Do the informal & formal software modeling notations satisfy practitioners for software architecture modeling?

M Ozkaya - Information and Software Technology, 2018 - Elsevier
Context Software architectures can be modeled using semantically informal (ie, ambiguous)
or formal (ie, mathematically precise) software modeling notations. Objective In this paper …

[图书][B] High-performance embedded computing: applications in cyber-physical systems and mobile computing

M Wolf - 2014 - books.google.com
High-Performance Embedded Computing, Second Edition, combines leading-edge
research with practical guidance in a variety of embedded computing topics, including real …