Min-Young Nam

Min-Young Nam
Carnegie Mellon University | CMU · Software Engineering Institute

PhD

About

23
Publications
4,055
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
227
Citations
Citations since 2017
0 Research Items
59 Citations
201720182019202020212022202305101520
201720182019202020212022202305101520
201720182019202020212022202305101520
201720182019202020212022202305101520
Additional affiliations
March 2015 - present
Carnegie Mellon University
Position
  • Member of the Technical Staff
January 2013 - March 2015
University of Illinois, Urbana-Champaign
Position
  • PostDoc Position
January 2007 - December 2012
University of Illinois, Urbana-Champaign
Position
  • PhD Student

Publications

Publications (23)
Conference Paper
Cyber-physical systems are generally composed of several software components executing on different processors that are interconnected through entities that can be represented as buses. These complex systems collocate functions operating at different security levels, which can introduce unexpected interactions that affect system security. The secur...
Conference Paper
Todays' embedded and cyber-physical systems (CPS) rely heavily on complex software functions. While part of this complexity is unavoidable and caused by a growing number of functions (intrinsic complexity), another part is related to inappropriate design and development methods (called avoidable complexity). Indeed the early removal of avoidable co...
Article
Full-text available
Safety-critical embedded systems are now software-reliant and evolving at an incredible pace. With the emerging Internet of Things (IoT) ecosystem, these systems are now interconnected to several networks and exposed to potential attackers. This increases the potential surface of attack and, ultimately, the likelihood of a successful attack that wo...
Technical Report
Full-text available
Safety-critical systems, such as those used in the avionics, aerospace, medical, and automotive domains, are becoming more software reliant, and their size has increased enormously. These systems are becoming more complex, increasing certification costs. As certification is expensive and verification activities require significant manpower, this in...
Article
Early analysis of timing is essential in the design of reliable avionics systems. We consider an environmental monitoring system that allows the surroundings of an aircraft to be observed continuously in real time. We analyze timing aspects of the partitions within the sensor and monitoring nodes, and of the intermediate switches that connect them....
Article
New features are often added incrementally to avionics systems to minimize the need for redesign and recertification. However, it then becomes necessary to check that the timing constraints of existing as well as new applications are met. We facilitate these checks by introducing a new data switch that bounds the latency of end-to-end communication...
Article
We propose a model-based description and analysis framework for the design of wireless system architectures. Its aim is to address the shortcomings of existing approaches to system verification and the tracking of anomalies in safety-critical wireless systems. We use Architecture Analysis and Description Language (AADL) to describe an analysis-orie...
Article
With the advance of hardware technology, more features are incrementally added to already existing networked systems. Avionics has a stronger tendency to use preexisting applications due to its complexity and scale. As resource sharing becomes intense among the network and the computing modules, it has become a difficult task for the system designe...
Conference Paper
High reliability and acceptable latency are major quality-of-service (QoS) considerations in the design of wireless telemetry systems. In this paper, we show how to analyze the QoS of the wireless telemetry system using its formal description written in the Architecture Analysis & Design Language (AADL) and integrated tool chain, with an exemplar e...
Conference Paper
Open Analytic Runtime (OAR) Models embed analysis algorithms into runtime architectural models, thus integrating the model and its analytic interpretations. Such an integration is critical for Cyber-Physical Systems (CPS) when model parts are independently developed by different teams as it is the case in multi-tier industries, e.g. avionics and au...
Conference Paper
Full-text available
New features are often added incrementally to avionics systems. This avoids redesign and recertification but still requires verifying the timing constraints of both new and existing applications. We introduce a new switch that facilitates this verification by bounding the latency of end-to-end communication across a network. Our clock-driven real-t...
Article
In systems such as integrated modular avionics (IMA), there is a substantial benefit from maintaining significant portions of a product family's architecture unchanged from one system to the next. When there are tight constraints on resources such as bandwidth and processor capacity, however, certain seemingly small changes in a few components have...
Conference Paper
Full-text available
In complex hard real-time systems with tight constraints on system resources, small changes in one component of a system can cause a cascade of adverse effects on other parts of the system. We address the inherent complexity of making architectural decisions by raising the level of abstraction at which the analysis is performed. Our analysis approa...
Conference Paper
Full-text available
System-on-Chip (SoC) is a promising paradigm to imple- ment safety-critical embedded systems, but it poses signi- cant challenges from a design and verication point of view. In particular, in a mixed-criticality system, low criticality applications must be prevented from interfering with high criticality ones. In this paper, we introduce a new desi...
Conference Paper
Full-text available
In hard real-time systems such as avionics, computer board level designs are typically customized to meet specific reliability and real time requirements. This paper focuses on computer-aided application-specific design of I/O architec- ture using PCI as an example. We have built a tool (ASIIST) that will enable engineers to explore design spaces a...
Article
Full-text available
In this paper, we present a medical-grade network architec-ture based on the wireless cellular technology of CDMA2000 1xEV-DO (Evolution-Data Optimized). It can provide highly reliable communication with a bounded delay by exploiting its inherent channel access structure and cooperative packet scheduler at the access network. Additionally, we propo...
Article
Full-text available
I/O configurations play a crucial role in many critical embedded systems. In particular, avionics systems are often I/O bounded and I/O scheduling problems have been a ma-jor source of integration problems. A deterministic analysis of communication between CPU and peripherals is needed to derive correct schedulability tests. In this paper, we de-ta...
Article
As the elderly population increases, elderly care using inexpensive technological means is becoming critical. This paper presents our prototype system that provides real-time indoor tracking of elderly residents and their belongings, which is essential to assisting and securing their independent living. For high-fidelity real-time tracking, we prop...
Article
Full-text available
Advances in networking, sensors, and embedded devices have made it feasible to monitor and provide medical and other assistance to people in their homes. Aging populations will benefit from reduced costs and improved healthcare through assisted living based on these technologies. However, these systems challenge current state-of-the-art techniques...
Conference Paper
As the elderly population increases, the elderly care using inexpensive technological means becomes critical. This paper proposes novel scheduling algorithms for real-time indoor tracking of elderly residents, which is essential to assist and secure their independent living. Our scheduling algorithms are designed by harmonizing both sensing and com...
Conference Paper
Full-text available
This paper proposes a novel task model in which its physical and temporal parameters are specified as time-parameterized functions and their values are finally determined at the actual dispatch time. This model is clearly differentiated from the classical task model where parameters are fixed at the job release time. The new model better suits sens...
Article
Full-text available
As the elderly population increases, the elderly care using inexpensive technological means be-comes critical. This paper proposes novel scheduling algorithms for real-time indoor tracking of elderly residences, which is essential to assist and secure their independent living. For this, we use inexpensive technological means, specifically, ultrason...
Article
As the elderly population increases, the elderly care using inexpensive technological means be- comes critical. This paper presents our prototype system that provides real-time indoor tracking of elderly residents and their belongings, which is essential to assist and secure their independent living. For high-fidelity real-time tracking, we propose...

Network

Cited By