Filters








1,610 Hits in 10.7 sec

On developing and verifying design abstractions for reliable concurrent programming in Ada

A. Burns, A. J. Wellings, A. M. Koelmans, M. Koutny, A. Romanovsky, A. Yakovlev
2001 Proceedings of the 10th international workshop on Real-time Ada workshop - IRTAW '00  
Ada 95 is an expressive concurrent programming language, which allows building large multi-tasking applications.  ...  Much of the complexity of these applications stems from the interactions between the tasks.  ...  This work was supported by EC IST DSoS Project (IST-1999-11585) and EPSRC COM-FORT Project (GR/L93775).  ... 
doi:10.1145/374370.374381 fatcat:df2md6sklfdudfeikxo3zl3x4e

On developing and verifying design abstractions for reliable concurrent programming in Ada

A. Burns, A. J. Wellings, A. M. Koelmans, M. Koutny, A. Romanovsky, A. Yakovlev
2001 ACM SIGAda Ada Letters  
Ada 95 is an expressive concurrent programming language, which allows building large multi-tasking applications.  ...  Much of the complexity of these applications stems from the interactions between the tasks.  ...  This work was supported by EC IST DSoS Project (IST-1999-11585) and EPSRC COM-FORT Project (GR/L93775).  ... 
doi:10.1145/374369.374381 fatcat:btow5bnsm5e4jlrpe6omeoyyfq

Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP [chapter]

Sara Royuela, Xavier Martorell, Eduardo Quiñones, Luis Miguel Pinho
2018 Lecture Notes in Computer Science  
Hereof, this paper presents a new compiler analysis technique that: 1) identifies potential race conditions in parallel Ada programs based on OpenMP or Ada tasks or both, and 2) provides solutions for  ...  Hereof, this paper presents a new compiler analysis technique that: 1) identifies potential race conditions in parallel Ada programs based on OpenMP or Ada tasks or both, and 2) provides solutions for  ...  27] , real-time task digraphs [28] and system dependence nets [29] .  ... 
doi:10.1007/978-3-319-92432-8_9 fatcat:3rya5ayxczbetjednqvfnneoiy

Formal modeling of synchronization methods for concurrent objects in Ada 95

Ravi K. Gedela, Sol M. Shatz, Haiping Xu
1999 ACM SIGAda Ada Letters  
SYNCHRONIZATION FOR SYNCHRONIZATION FOR CONCURRENT OBJECTS CONCURRENT OBJECTS Among the three synchronization methods for concurrent objects in Ada-95, the first method, whose synchronization is added  ...  Earlier work by our own research group investigated the use of Petri nets for development of tools and techniques for automated concurrency analysis of software based on Ada tasking [5] [6] .  ... 
doi:10.1145/319295.319325 fatcat:mmzm7ldyzzc7phjomcpywoc7uq

Formal modeling of synchronization methods for concurrent objects in Ada 95

Ravi K. Gedela, Sol M. Shatz, Haiping Xu
1999 Proceedings of the 1999 annual ACM SIGAda international conference on Ada - SIGAda '99  
SYNCHRONIZATION FOR SYNCHRONIZATION FOR CONCURRENT OBJECTS CONCURRENT OBJECTS Among the three synchronization methods for concurrent objects in Ada-95, the first method, whose synchronization is added  ...  Earlier work by our own research group investigated the use of Petri nets for development of tools and techniques for automated concurrency analysis of software based on Ada tasking [5] [6] .  ... 
doi:10.1145/319294.319325 dblp:conf/sigada/GedelaSX99 fatcat:cqyg5vpgqbhcxnh7pl36ayam6a

Dynamic Tasks Verification with Quasar [chapter]

Sami Evangelista, Claude Kaiser, Christophe Pajault, Jean Francois Pradat-Peyre, Pierre Rousseau
2005 Lecture Notes in Computer Science  
The inclusion of dynamic tasks modelisation in QUASAR, a tool for automatic analysis of concurrent programs, extends its applicative usefulness.  ...  This paper presents briefly Ada dynamic tasks semantic and dependences and then it explains the choice of an efficient generic modeling pattern.  ...  As these features belong to the language, and have a precise semantic defi nition, the tasks behavior control is not dependent on compiler or operating system choices as it is the case with application  ... 
doi:10.1007/11499909_8 fatcat:3gjq7wrjlrd43nyceiabrgnjma

Static Dependency Analysis for Concurrent Ada 95 Programs [chapter]

Zhenqiang Chen, Baowen Xu, Jianjun Zhao, Hongji Yang
2002 Lecture Notes in Computer Science  
In this paper, we propose a novel approach to analyze dependencies for concurrent Ada 95 programs.  ...  Two graphs: concurrent program flow graph and concurrent program dependency graph are developed to represent concurrent Ada programs and analyze dependency relations.  ...  In this paper, we propose a new method to analyzing dependencies for concurrent Ada 95 programs.  ... 
doi:10.1007/3-540-48046-3_17 fatcat:ix6ct2cvkfetfklzg7o4dlyyke

A compact Petri net representation for concurrent programs

Matthew B. Dwyer, Lori A. Clarke, Kari A. Nies
1995 Proceedings of the 17th international conference on Software engineering - ICSE '95  
This paper presents a compact Petri net representation that is e cient to construct for concurrent programs that use explicit tasking and rendezvous style communication.  ...  These Petri nets are based on task interaction graphs and are called TIG-based Petri nets (TPN)s.  ...  Acknowledgements The authors wish to thank Tim Chamillard and Gleb Naumovich for helpful discussions and feedback.  ... 
doi:10.1145/225014.225028 dblp:conf/icse/DwyerCN95 fatcat:om2pdsvirrcstbggurrzawglgi

A compact Petri net representation and its implications for analysis

M.B. Dwyer, L.A. Clarke
1996 IEEE Transactions on Software Engineering  
This multi-level representation comprises a reachability graph derived from a highly optimized Petri net representation that is based on task interaction graphs and associated property-speci c summary  ...  Although worst-case bounds for most concurrency analysis techniques are daunting, we demonstrate that the techniques that we propose signi cantly broaden the applicability of reachability analyses.  ...  Acknowledgments The authors wish to acknowledge Kari Nies, whose contributions to earlier versions of this work were invaluable, and Michal Young, Tim Chamillard and Gleb Naumovich for helpful discussions  ... 
doi:10.1109/32.553699 fatcat:fy7tlhdk6jdpzducs5d4c3d5oq

An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK [chapter]

Tullio Vardanega, Rodrigo García, Juan Antonio de la Puente
2001 Lecture Notes in Computer Science  
As Ada compilation systems supporting the Ravenscar Profile become available, the opportunity arises for users to assess the expressiveness of the profile and the effectiveness of its implementation.  ...  This paper discusses the lessons learned on the port of a space application to GNAT/ORK, an open-source implementation of the profile.  ...  Introduction The Ravenscar Profile [1] captures a subset of the tasking model of the Ada 95 programming language [2] , which is especially suited for the implementation of concurrent real-time systems  ... 
doi:10.1007/3-540-45136-6_32 fatcat:q6lc5wtdevcovoqeoliw5xx5ai

High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNAT [chapter]

Paul Parkinson, Franco Gasperoni
2002 Lecture Notes in Computer Science  
The advances in Ada and RTOS technologies are explained and the impact of requirements for RTCA/DO-178B and EUROCAE/ED-12B certification and achievements are presented in the context of the GNAT and VxWorks  ...  This paper presents recent trends in avionics systems development from bespoke systems through to COTS and emerging Integrated Modular Avionics architectures.  ...  to build high integrity systems for safety critical applications.  ... 
doi:10.1007/3-540-48046-3_13 fatcat:zu43edlqfrayzamamhx7gcuvw4

Hardware/software co-design

Mike Mills, Greg Peterson
1998 ACM SIGAda Ada Letters  
This paper explores a new approach to ease the hardware software co-design and repartitioning activities by providing a mechanism to exchange software written in Ada 95 with behavioral VHDL.  ...  Optimizing the design of complex weapons systems constitutes an important task in efficiently developing and deploying effective complex weapons systems.  ...  This explosive growth represents tremendous potential for military and commercial electronics systems and components, while at the same time presenting designers with the seemingly insurmountable task  ... 
doi:10.1145/301687.289528 fatcat:zos6ipqfv5cevfuifw44swhqsa

Hardware/software co-design

Mike Mills, Greg Peterson
1998 Proceedings of the 1998 annual ACM SIGAda international conference on Ada - SIGAda '98  
This paper explores a new approach to ease the hardware software co-design and repartitioning activities by providing a mechanism to exchange software written in Ada 95 with behavioral VHDL.  ...  Optimizing the design of complex weapons systems constitutes an important task in efficiently developing and deploying effective complex weapons systems.  ...  This explosive growth represents tremendous potential for military and commercial electronics systems and components, while at the same time presenting designers with the seemingly insurmountable task  ... 
doi:10.1145/289524.289528 dblp:conf/sigada/MillsP98 fatcat:k3wjjwxk5bcl3kcmggxirl2dym

Compass '94, Ninth Annual Conference on Computer Assurance - Gaithersburg, Md - June 27 July 1, 1994

L.M. Ippolito, D.R. Wallace, E.B. Lennon
1994 Journal of Research of the National Institute of Standards and Technology  
; and David Barton, Intermetrics Corporation.  ...  Acknowledgments The authors wish to acknowledge the following people for their contributions to this article: Joseph Poole, NIST; Wayne Salamon, NIST; James Graham, NIST; Uma Satyen, The MITRE Corporation  ...  The dependence on critical systems demands that the systems are built with safety and security assurances.  ... 
doi:10.6028/jres.099.072 fatcat:xcmn2ohgsjenrjvve36m63chye

A survey on standards for real-time distribution middleware

Héctor Pérez, J. Javier Gutiérrez
2014 ACM Computing Surveys  
Finally, and despite the significant number of emerging applications for the processing of large data streams such as S4 ( Simple Scalable Streaming System) [Neumeyer et al. 2010] or S-NET [Grelck et al  ...  The JavaSpaces specification presents a high-level abstraction for building distributed applications and so it relies on low-level communication middleware such as RMI.  ...  ACKNOWLEDGMENTS The authors want to thank the anonymous reviewers for their many detailed comments that have allowed the article to be enhanced significantly.  ... 
doi:10.1145/2532636 fatcat:gjgkut7szzbkxnuxrkfvqmq2km
« Previous Showing results 1 — 15 out of 1,610 results