Skip to main content

Horizontal Menu

  • Research
    • Areas
    • Projects
    • Publications
    • NSA Center of Academic Excellence
  • Education
    • Prospective Students
    • Summer Program Info
  • Team
  • Sponsors
  • Contact
  • Opportunities

Hamburger Menu

  • Home
  • ISIS Calendar
    • Research Projects
    • Research Areas
    • Publications
    • Internship Program
    • Prospective Students
  • Team
  • Sponsors
  • Contact
  • Opportunities

Breadcrumb

  • Home /
  • Publications
Search by title, author, keywords, etc.

2013

publication

Deliberative Reasoning in Software Health Management

Authored by Nagabhushan Mahadevan, Abhishek Dubey, Daniel Balasubramanian, and Gabor Karsai
publication

Co-Simulation Framework for Design of Time-Triggered Cyber Physical Systems

Designing cyber-physical systems (CPS) is challenging due to the tight interactions between software, network/platform, and physical components. A co-simulation method is valuable to enable early system evaluation. In this paper, a co-simulation framework that considers interacting CPS components for design of time-triggered (TT) CPS is proposed. Virtual prototyping of CPS is the core of the proposed framework. A network/platform model in SystemC forms the backbone of the virtual prototyping, which bridges control software and physical environment. The network/platform model consists of processing elements abstracted by realtime operating systems, communication systems, sensors, and actuators. The framework is also integrated with a model-based design tool to enable rapid prototyping. The framework is validated by comparing simulation results with the results from a hardware-in-the-loop automotive simulator.
Authored by Zhenkai Zhang, Emeka Eyisi, Xenofon Koutsoukos, Joseph Porter, Gabor Karsai, and Janos Sztipanovits
publication

Acoustic Shockwave-Based Bearing Estimation

Authored by Janos Sallai, Peter Volgyesi, Akos Ledeczi, Ken Pence, Ted Bapty, Sandeep Neema, and James Davis
publication

PolicyForge: A Collaborative Environment for Formalizing Privacy Policies in Health Care

The vision of PolicyForge.org is that it becomes an open repository for privacy policies at local, state and national level; provides collaboration services for discussing, interpreting, and tracking policies; and by embedding formal policy models with relevant ontologies, it provides a wide range of services for authoring, composing, analyzing policy models, and for exporting executable
Authored by Andras Nadas, Laszlo Juracz, Janos Sztipanovits, Mark Frisse, and Ann Olsen
publication

Modeling and Simulation Semantics for Building Large-Scale Multi-Domain Embedded Systems

Authored by Joshua Carl, Zsolt Lattmann, and Gautam Biswas
publication

Real-time Sensor Data Analysis Processing of a Soccer Game Using OMG DDS Publish/Subscribe Middleware

Authored by Kyoungho An, Sumant Tambe, Andrea Sorbini, Sheeladitya Mukherjee, Javier Povedano-Molina, Michael Walker, Nirjhar Vermani, Aniruddha Gokhale, and Paul Pazandak
publication

Modeling Time-Triggered Ethernet in SystemC/TLM for Virtual Prototyping of Cyber-Physical Systems

Authored by Zhenkai Zhang and Xenofon Kousoukos
publication

High-Accuracy Differential Tracking of Low-Cost GPS Receivers

In many mobile wireless applications such as the automated driving of cars, formation flying of unmanned air vehicles, and source localization or target tracking with wireless sensor networks, it is more important to know the precise relative locations of nodes than their absolute coordinates. GPS, the most ubiquitous localization system available, generally provides only absolute coordinates. Furthermore, low-cost receivers can exhibit tens of meters of error or worse in challenging RF environments. This paper presents an approach that uses GPS to derive relative location information for multiple receivers. Nodes in a network share their raw satellite measurements and use this data to track the relative motions of neighboring nodes as opposed to computing their own absolute coordinates. The system has been implemented using a network of Android phones equipped with a custom Bluetooth headset and integrated GPS chip to provide raw measurement data. Our evaluation shows that centimeter-scale tracking accuracy at an update rate of 1 Hz is possible under various conditions with the presented technique. This is more than an order of magnitude more accurate than simply taking the difference of reported absolute node coordinates or other simplistic approaches due to the presence of uncorrelated measurement errors.
Authored by Will Hedgecock, Miklos Maroti, Janos Sallai, Peter Volgyesi, and Akos Ledeczi
publication

Web-based Metaprogrammable Frontend for Molecular Dynamics Simulations

Molecular dynamics simulators are indispensable tools in the arsenal of chemical engineers and material scientists. However, they are often difficult to use and require programming skills as well as deep knowledge of both the given scientific domain and the simulation software itself. In this paper, we describe a metaprogramming approach where simulator experts can create a library of simulation components and templates of frequently used simulations. Domain experts, in turn, can build and customize their own simulations and the required input for the various supported simulators is automatically synthesized. The web-based environment also supports setting up a suite of simulation jobs, for example, to carry out automated parameter optimization, via a visual programming environment. The entire simulation setup – including the various parameters, the version of tools utilized and the results – is stored in a database to support searching and browsing of existing simulation outputs and facilitating the reproducibility of scientific results.
Authored by Gergely Varga, Sara Toth, Christopher Iacovella, Janos Sallai, Peter Volgyesi, Akos Ledeczi, and Peter Cummings
publication

A Co-Simulation Framework for Design of Time-Triggered Automotive Cyber Physical Systems

Authored by Zhenkai Zhang, Emeka Eyisi, Xenofon Koutsoukos, Joseph Porter, Gabor Karsai, and Janos Sztipanovits
publication

Marmote SDR: Experimental Platform for Low-Power Wireless Protocol Stack Research

Authored by Sandor Szilvasi, Benjamin Babjak, Peter Volgyesi, and Akos Ledeczi
publication

Partition Configuration for Real-Time Systems With Dependencies

We present an analytical framework for formulating partition configuration problems in real-time systems with dependencies, particularly applicable to modeling systems with multiple criticality or security levels. Partition configuration constraints for real-time tasks include affinity and conflict. We also discuss the application of the framework to arbitrary partition schedulers, harmonic partition execution, and round robin partition execution (which is particularly problematic). Our interest is in minimizing end-to-end latency, though the computational complexity of the problem prevents us from finding optimal results. We conclude with some open problems.
Authored by Joseph Porter and Csanad Szabo
publication

A performance Interference-aware virtual machine placement strategy for supporting soft realtime applications in the cloud

Authored by Faruk Caglar, Shashank Shekhar, and Aniruddha Gokhale
publication

"Polyglot: Systematic Analysis for Multiple Statechart Formalisms"

<p>Polyglot is a tool for the systematic analysis of systems integrated from components built using multiple Statechart formalisms. In Polyglot, Statechart models are translated into a common Java representation with pluggable semantics for different Statechart variants. Polyglot is tightly integrated with the Java Pathfinder verification tool-set, providing analysis and test-case generation capabilities. The tool has been applied in the context of safety-critical software systems whose interacting components were modeled using multiple Statechart formalisms.</p>
Authored by Daniel Balasubramanian, Nir Piterman, and Scott Smolka
publication

Technical Standard for Future Airborne Capability Environment (FACE) Reference Architecture

Authored by William Antypas, Kirk Avery, Edward Burke, Joe Dusio, Matthew Eby, Stu Frerking, Jeff Hegedus, Patrick Huyck, William Kimmel, Sean Mulholland, Joseph Neal, Allan Reynolds, Joel Sherrill, and Robert Sweeney
publication

A Model-driven Approach for Price/Performance Tradeoffs in Cloud-based MapReduce Application Deployment

Authored by Shashank Shekhar, Faruk Caglar, Kyoungho An, Takayuki Kuroda, Aniruddha Gokhale, and Swapna Gokhale
publication

Towards a Resilient Deployment and Configuration Infrastructure for Fractionated Spacecraft

Fractionated spacecraft are clusters of small, inde- pendent modules that interact wirelessly to realize the function- ality of a traditional monolithic spacecraft. System F6 (F6 stands for Future, Fast, Flexible, Fractionated, Free-Flying spacecraft) is a DARPA program for fractionated spacecraft. Software applications in F6 are implemented in the context of the F6 Information Architecture Platform (IAP), which provides component-based abstractions for composing distributed applications. The lifecycle of these distributed applications must be managed autonomously by a deployment and configuration (D&C) infrastructure, which can redeploy and reconfigure the running applications in response to faults and other anomalies that may occur during system operation. Addressing these D&C requirements is hard due to the significant fluctuation in resource availabilities, constraints on resources, and safety and security concerns. This paper presents the key architectural ideas that are required in realizing such a D&C infrastructure.
Authored by Subhav Pradhan, William Otte, Abhishek Dubey, Aniruddha Gokhale, and Gabor Karsai

2012

publication

Prognostics of Power Electronics, methods and validation experiments

Authored by Chetan Kulkarni, Jose Celaya, Gautam Biswas, and Kai Goebel
publication

A Power-aware Modeling and Autonomic Management Framework for Distributed Computing Systems

Authored by Rajat Mehrotra, Abhishek Dubey, Sherif Abdelwahed, and Asser Tantawi
publication

Interferometry in Wireless Sensor Networks

Authored by Sandor Szilvasi, Peter Volgyesi, Janos Sallai, Akos Ledeczi, and Miklos Maroti
publication

Implementing Autonomic Computing Methods to Improve Attack Resilience in Web Services

Authored by Weston Monceaux, Deland Evans, Keith Rappold, Cary Butler, Sherif Abdelwahed, Rajat Mehrotra, and Abhishek Dubey
publication

Foundation for Model Integration: Semantic Backplane

Authored by Gabor Simko, Tihamer Levendovszky, Sandeep Neema, Ethan Jackson, Ted Bapty, Joseph Porter, and Janos Sztipanovits
publication

Fault-Adaptivity in Hard Real-Time Component-Based Software Systems

Authored by Abhishek Dubey, Gabor Karsai, and Nagabhushan Mahadevan
publication

Experimental Research Platform for Structural Health Monitoring

Authored by Benjamin Babjak, Sandor Szilvasi, Alex Pedchenko, Mark Hofacker, Eric Barth, Peter Volgyesi, and Akos Ledeczi
publication

Experimental Research Platform for Structural Health Monitoring

Authored by Benjamin Babjak, Sandor Szilvasi, Alex Pedchenko, Mark Hofacker, Eric Barth, Peter Volgyesi, and Akos Ledeczi

Pagination

  • First page « First
  • Previous page ‹‹
  • …
  • Page 9
  • Page 10
  • Page 11
  • Page 12
  • Current page 13
  • Page 14
  • Page 15
  • Page 16
  • Page 17
  • …
  • Next page ››
  • Last page Last »
Download CSV

Footer Links A

  • About Us
  • Contact
  • LinkedIn

Footer Links B

  • Work at the Institute
  • Summer Program Info

1025 16th Avenue South

Nashville, Tennessee 37212

Phone: (615) 343-7472

Email: contact.isis at vanderbilt dot edu