Search results for "Embedded"

showing 10 items of 412 documents

WSN Design and Verification Using On-Board Executable Specifications

2019

The gap between informal functional specifications and the resulting implementation in the chosen programming language is notably a source of errors in embedded systems design. In this paper, we discuss a methodology and a software platform aimed at coping with this issue in programming resource-constrained wireless sensor network nodes (WSNs). Whereas the typical development model for the WSNs is based on cross compilation, the proposed approach supports high-level symbolic coding of abstract models and distributed applications, as well as their test and their execution, directly on the target hardware. As a working example, we discuss the application of our methodology to specify the func…

Computer scienceInformation System02 engineering and technologywireless sensor networkSoftware0202 electrical engineering electronic engineering information engineeringElectrical and Electronic EngineeringEmbedded systemsymbolic programmingSettore ING-INF/05 - Sistemi Di Elaborazione Delle InformazioniFunctional specificationbusiness.industry020208 electrical & electronic engineeringRuntime verificationresource-constrained deviceComputer Science Applications1707 Computer Vision and Pattern Recognitioncomputer.file_formatsystem specificationComputer Science ApplicationsControl and Systems EngineeringEmbedded systemsystem programmingExecutablebusinesscomputerInformation SystemsIEEE Transactions on Industrial Informatics
researchProduct

Distributed Symbolic Network Quality Assessment for Resource-constrained Devices

2021

After a Wireless Sensor Network (WSN) is deployed it is subject to significant variations of the quality of its radio links during its lifetime. Knowledge of the condition of the wireless links can be useful to optimize power consumption and increase the reliability of the network. However, resource-constrained nodes may not be able to spare the storage space for network monitoring code. Also, reprogramming deployed nodes can be costly or unfeasible. In this work, we show how an approach based on the exchange of symbolic executable code among nodes enables the assessment of the network status in terms of Packet Reception Rate (PRR) with no extra storage requirements on deployed networks. We…

Computer scienceQuality assessmentSymbolic programmingDistributed computingResource constrainedEmbedded SystemSymbolic code exchangeDistributed computingWireless Sensor Network
researchProduct

Live demonstration: multiplexing AER asynchronous channels over LVDS Links with Flow-Control and Clock-Correction for Scalable Neuromorphic Systems

2017

Paper presented at the 2017 IEEE International Symposium on Circuits and Systems (ISCAS), held in Baltimore, MD, USA, on 28-31 May 2017.

Computer scienceSerial communicationGabor filters02 engineering and technologyMultiplexingMultiplexing0202 electrical engineering electronic engineering information engineeringComputerSystemsOrganization_SPECIAL-PURPOSEANDAPPLICATION-BASEDSYSTEMSField-programmable gate arrayComputer Science::Operating SystemsMassively parallelNeuromorphicsReal-time systemsSpiking neural networkQuantitative Biology::Neurons and CognitionArtificial neural networkbusiness.industry020208 electrical & electronic engineeringField programmable gate arraysNeuromorphic engineeringAsynchronous communicationEmbedded systemVoltage controlbusinessComputer hardwareNeural networksHardware_LOGICDESIGN
researchProduct

Challenges of the "Global Understanding Environment" Based on Agent Mobility

2007

Among traditional users of Web resources, industry also has a growing set of smart industrial devices with embedded intelligence. Just as humans do, smart industrial devices need online services—for example, for condition monitoring, remote diagnostics, maintenance, and so on. In this chapter, we present one possible implementation framework for such Web services. Assume that such services should be Semantic-Web-enabled and form a service network based on internal and external agents’ platforms, which can host heterogeneous mobile agents and coordinate them to perform needed tasks. The concept of a “mobile-service component” assumes not only the exchange of queries and service responses but…

Computer scienceSystems engineeringCondition monitoringEmbedded intelligenceRemote diagnostics
researchProduct

On Multiple AER Handshaking Channels Over High-Speed Bit-Serial Bidirectional LVDS Links With Flow-Control and Clock-Correction on Commercial FPGAs f…

2017

Address event representation (AER) is a widely employed asynchronous technique for interchanging “neural spikes” between different hardware elements in neuromorphic systems. Each neuron or cell in a chip or a system is assigned an address (or ID), which is typically communicated through a high-speed digital bus, thus time-multiplexing a high number of neural connections. Conventional AER links use parallel physical wires together with a pair of handshaking signals (request and acknowledge). In this paper, we present a fully serial implementation using bidirectional SATA connectors with a pair of low-voltage differential signaling (LVDS) wires for each direction. The proposed implementation …

Computer sciencebusiness.industry020208 electrical & electronic engineeringBiomedical EngineeringSignal Processing Computer-AssistedEquipment Design02 engineering and technologyDifferential signalingHandshakingTransmission (telecommunications)Neuromorphic engineeringAsynchronous communicationEmbedded systemVHDL0202 electrical engineering electronic engineering information engineeringVerilog020201 artificial intelligence & image processingNeural Networks ComputerElectrical and Electronic EngineeringField-programmable gate arraybusinesscomputercomputer.programming_language
researchProduct

An embedded datalogger with a fast acquisition rate for in-vehicle testing and monitoring

2011

A very compact and high performance datalogger for automotive in-vehicle testing is here described. The small logger dimensions and the availability of a CAN interface allows to easily implement multiple and distributed acquisition schemes, very challenging with traditional instrumentation. High acquisition rate, up to 100 Ksps/ch, and low cost was obtained through a very accurate hardware and software design.

Computer sciencebusiness.industryAutomotive industryData Acquisition In-Vehicle testingAutomotive electronicsSettore ING-INF/01 - ElettronicaCAN busMicrocodeEmbedded systemData loggerSoftware designInstrumentation (computer programming)businessThroughput (business)Automotive electronics controller area networks data loggers embedded systems
researchProduct

Exploring NoC Virtualization Alternatives in CMPs

2012

Chip Multiprocessor systems (CMPs) contain more and more cores in every new generation. However, applications for these systems do not scale at the same pace. Thus, in order to obtain a good utilization several applications will need to coexist in the system and in those cases virtualization of the CMP system will become mandatory. In this paper we analyze two virtualization strategies at NoC-level aiming to isolate the traffic generated by each application to reduce or even eliminate interferences among messages belonging to different applications. The first model handles most interferences among messages with a virtual-channels (VCs) implementation minimizing both execution time and netwo…

Computer sciencebusiness.industryDistributed computingMultiprocessingVirtualizationcomputer.software_genreChipNetwork on a chipResource (project management)ServerEmbedded systemOverhead (computing)businessSpace partitioningcomputer2012 20th Euromicro International Conference on Parallel, Distributed and Network-based Processing
researchProduct

Adaptive Vehicle Mode Monitoring Using Embedded Devices with Accelerometers

2012

Monitoring of specific attributes such as vehicle speed and fuel consumption as well as cargo safety is an important problem for transport domain. This task is performed using specific multiagent monitoring systems. To ensure secure operation of such systems they should have autonomous and adaptive behaviour.

Computer sciencebusiness.industryReal-time computingComputerApplications_COMPUTERSINOTHERSYSTEMSMonitoring systemAccelerometerDomain (software engineering)Task (project management)Mode (computer interface)Adaptive behaviourEmbedded systemFuel efficiencyAccelerometer databusiness
researchProduct

Implementation and Deployment Evaluation of the DMAMAC Protocol for Wireless Sensor Actuator Networks

2016

Abstract The increased application of wireless technologies including Wireless Sensor Actuator Networks (WSAN) in industry has given rise to a plethora of protocol designs. These designs target metrics ranging from energy efficiency to real-time constraints. Protocol design typically starts with a requirements specification, and continues with analytic and model-based simulation analysis. State-of- the-art network simulators provide extensive physical environment emulation, but still have limitations due to model abstractions. Deployment testing on actual hardware is therefore vital in order to validate implementability and usability in the real environment. The contribution of this article…

Computer sciencecomputer.internet_protocolTime division multiple accessWireless Routing Protocol02 engineering and technologyPacket lossWireless sensor networks and applications0202 electrical engineering electronic engineering information engineeringWirelessSuperframeNetwork architecture and designProtocol (object-oriented programming)Communication protocols.General Environmental ScienceEmulationbusiness.industry020206 networking & telecommunicationsKey distribution in wireless sensor networksEmbedded systemInternetwork protocolGeneral Earth and Planetary Sciences020201 artificial intelligence & image processingCommunications protocolbusinesscomputerReverse Address Resolution ProtocolEfficient energy useProcedia Computer Science
researchProduct

Analysis and Visualization of Product Memory Layout in IP-XACT

2017

Modern ASIC and FPGA based embedded products use model based design, in which both hardware and software are developed in parallel. Previously HW was completed first and the information handed over to SW team, typically in the form of register tables. The information was even manually copied to SW code, making any changes error-prone and laborious. IP-XACT is the most feasible standard to model HW also for the SW needs. The HW design connectivity and overall memory layout may change due to component instantiations, configurations and conditional operation states, which makes it difficult to create register tables even for documentation. Current register design tools fall short in serving th…

Computer sciencecomputer.internet_protocolbusiness.industryProgramming languagecomputer.software_genreMemory mapVisualizationApplication-specific integrated circuitIP-XACTEmbedded systemModel-based designbusinessProgrammerInteractive visualizationcomputerXML2017 Euromicro Conference on Digital System Design (DSD)
researchProduct