Ákos Lédeczi

Learn More
Wireless sensor network applications, similarly to other distributed systems, often require a scalable time synchronization service enabling data consistency and coordination. This paper describes the Flooding Time Synchronization Protocol (FTSP), especially tailored for applications requiring stringent precision on resource limited wireless platforms. The(More)
W hat do Rational Rose, Simulink, and LabVIEW have in common? At first, these tools seem very different. Rational Rose (http://www.rational.com) is a visual modeling tool, Simulink (http:// www.mathworks.com) is a hierarchical block-diagram design and simulation tool, and LabVIEW (http:// www.ni.com) is a graphical programming development environment.(More)
This chapter introduces the concepts and techniques required for developing graphical, domain-specific modeling and program synthesis environments. It argues that a fully functional modeling environment can be quickly developed for a wide variety of engineering domains using a configurable and extensible toolset with a limited set of generic concepts. The(More)
The paper describes a model-integrated approach for embedded software development that is based on domain-specific, multiple view models used in all phases of the development process. Models explicitly represent the embedded software and the environment it operates in, and capture the requirements and the design of the application, simultaneously. Models(More)
We present a novel radio interference based sensor localization method for wireless sensor networks. The technique relies on a pair of nodes emitting radio waves simultaneously at slightly different frequencies. The carrier frequency of the composite signal is between the two frequencies, but has a very low frequency envelope. Neighboring nodes can measure(More)
1 0-7803-7651-X/03/$17.00 © 2003 IEEE 2 IEEEAC paper #1136, Updated October 10, 2002 Abstract—The design of reliable, dynamic, fault-tolerant services in wireless sensor networks is a big challenge and a hot research topic. In this paper an optimization method is proposed that can be used to tune parameters of the middleware services and applications to(More)
An ad-hoc wireless sensor network-based system is presented that detects and accurately locates shooters even in urban environments. The system consists of a large number of cheap sensors communicating through an ad-hoc wireless network, thus it is capable of tolerating multiple sensor failures, provides good coverage and high accuracy, and is capable of(More)
Model integrated computing (MIC) is gaining increased attention as an effective and efficient method for developing, maintaining, and evolving large-scale, domain-specific software applications for computer-based systems. MIC is a model-based approach to software development, allowing the synthesis of application programs from models created using(More)
This paper presents an enhanced version of a novel radio interferometric positioning technique for node localization in wireless sensor networks that provides both high accuracy and long range simultaneously. The ranging method utilizes two transmitters emitting radio signals at almost the same frequencies. The relative location is estimated by measuring(More)
Developing a single embedded application involves a multitude of different development tools including several different simulators. Most tools use different abstractions, have their own formalisms to represent the system under development, utilize different input and output data formats, and have their own semantics. A unified environment that allows(More)