56,302 Hits in 3.4 sec

CriticAL: A critic for APIs and libraries

Chandan R. Rupakheti, Daqing Hou
2012 2012 20th IEEE International Conference on Program Comprehension (ICPC)  
To help address the broad problems of finding, understanding, and debugging API-based solutions, we have built a critic system that offers recommendations, explanations, and criticisms for API client code  ...  It is well-known that APIs can be hard to learn and use.  ...  The CriticAL project (A Critic for APIs and Libraries) can be found at  ... 
doi:10.1109/icpc.2012.6240493 dblp:conf/iwpc/RupakhetiH12a fatcat:u2aikixqifeudiqzqzxmktr5la

Automated Analysis of Security-Critical JavaScript APIs

Ankur Taly, Úlfar Erlingsson, John C. Mitchell, Mark S. Miller, Jasvir Nagra
2011 2011 IEEE Symposium on Security and Privacy  
purposes, and develop and test an automated tool that can soundly establish that a given API cannot be circumvented or subverted.  ...  In order to verify complete mediation of critical resources for applications of interest, we define the semantics of a restricted version of JavaScript devised by the ECMA Standards committee for isolation  ...  ACKNOWLEDGMENT We thank the Google Caja team for invaluable comments and discussions. We are indebted to Shriram Krishnamurthi and anonymous reviewers for their comments and suggestions.  ... 
doi:10.1109/sp.2011.39 dblp:conf/sp/TalyEMMN11 fatcat:37kond372vbipk2updqjb5iaxm

Reusable Libraries for Safety-Critical Java

Juan Ricardo Rios, Martin Schoeberl
2014 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing  
We have identified common programming patterns in the Java class libraries that make them unsuitable for safety-critical Java.  ...  Safety-critical Java uses scope-based memory areas instead of a garbage-collected heap. Therefore, the Java class libraries are problematic to use in safety-critical Java.  ...  Ravn and Wolfgang Puffitsch for their insights and comments on this work.  ... 
doi:10.1109/isorc.2014.27 dblp:conf/isorc/RiosS14 fatcat:uwh6doxgqva7tpxt7rsuvhwe4m

Memory Safety for Safety Critical Java [chapter]

Daniel Tang, Ales Plsek, Jan Vitek
2011 Distributed, Embedded and Real-time Java Systems  
This chapter introduces the memory management API of the Safety Critical Java specification and presents a static technique for ensuring memory safety.  ...  Memory is a key resource in computer systems. Safety-critical systems often must operate for long periods of time with limited available memory.  ...  Scott Andersen, Ben Brosgol, Mike Fulton, Thomas Henties, James Hunt, Johan Nielsen, Kelvin Nilsen, Martin Schoeberl, Joyce Tokar, Andy Wellings) for their work on the SCJ specification and their input  ... 
doi:10.1007/978-1-4419-8158-5_10 fatcat:4qzoyyg47rblzbcczxsgptd65e

Fundamentals of Security in Safety-critical systems

Daniele Lacamera, Todd Ouska
2019 Zenodo  
Securely transfer critical business information between users, locations and partners in compliance with data security regulations • cURL is an open source project that makes a command line tool and a  ...  options, to the single algorithm/feature • Portable and easy to integrate • Callback-based API for bare metal and OS integration • Mature codebase • Professional support • Open Source • Fast  ... 
doi:10.5281/zenodo.3577279 fatcat:peznrvwg3jewbfpjym5mmeuwbu

A Profile for Safety Critical Java

Martin Schoeberl, Hans Sondergaard, Bent Thomsen, Anders P. Ravn
2007 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07)  
We propose a new, minimal specification for real-time Java for safety critical applications.  ...  The intention is to provide a profile that supports programming of applications that can be validated against safety critical standards such as .  ...  Acknowledgment The first author would like to thank Franz Josef Jappel for discussions on a usable API for real-time systems and various suggestions.  ... 
doi:10.1109/isorc.2007.9 dblp:conf/isorc/SchoeberlSTR07 fatcat:tolu6zn22jhyno5yvv3x6facam

Patterns for safety-critical Java memory usage

Juan Ricardo Rios, Kelvin Nilsen, Martin Schoeberl
2012 Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems - JTRES '12  
We present patterns for simple subroutines, sequences of subroutine calls, and nested calls, where the patterns avoid memory leaks and unnecessary copying of values.  ...  The patterns are illustrated by implementations in the safety-critical Java profile.  ...  INTRODUCTION Java, as a programming language and as a large collection of standard libraries, has proven to be a useful tool to increase programmer efficiency both for the development and maintenance of  ... 
doi:10.1145/2388936.2388938 dblp:conf/jtres/RiosNS12 fatcat:5wabu6tqxjborktchzjy6du67m

Evaluating forum discussions to inform the design of an API critic

Chandan R. Rupakheti, Daqing Hou
2012 2012 20th IEEE International Conference on Program Comprehension (ICPC)  
Comprehension, Symbolic Execution, and Design Inference o Developed a program analysis framework called CriticAL (A Critic for APIs and Libraries) to perform symbolic execution of users code and provide  ...  Rupakheti, A Critic for API Client Code using Symbolic Execution, PhD Thesis, Clarkson University, May 2012, Available Online: 10. C.  ... 
doi:10.1109/icpc.2012.6240509 dblp:conf/iwpc/RupakhetiH12 fatcat:oz5edtphpnb53crd5dkr444bzm

Mobile OS Security and Threats: A Critical Review

Ahmad TalhaSiddiqui, Mudasir M Kirmani, Abdul Wahid
2014 International Journal of Computer Applications  
However, this vast use of mobile platform makes these smart devices a soft target for security attacks and breach of privacy.  ...  The cases about the attacks on personal mobiles phones are on the rise which is a motivation for developing Smartphone application with better effective and efficient security measures to mitigate the  ...  The scope for future research in this domain is in its infancy stage. This critical review is just a 'tip of an iceberg'.  ... 
doi:10.5120/15011-3293 fatcat:oss436pbuvdynkh6a3inprakii

Developing safety critical Java applications with oSCJ/L0

Ales Plsek, Lei Zhao, Veysel H. Sahin, Daniel Tang, Tomas Kalibera, Jan Vitek
2010 Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems - JTRES '10  
This paper gives a high-level description of our implementation of the first compliance level of the SCJ specification, a library called oSCJ, and reports on performance evaluation on the Ovm real-time  ...  It does this by defining a subset of the Real-time Specification for Java that trades expressiveness for verifiability.  ...  This work was partially supported by NSF grants CNS-0938256, CCF-0938255, CCF-0916310 and CCF-0916350. The authors thank Petr Maj, Filip Pizlo, and Ghaith Haddad and Gaisler Inc.  ... 
doi:10.1145/1850771.1850786 dblp:conf/jtres/PlsekZSTKV10 fatcat:buohgi6kt5hk7mjgtcq5hbcwzq

Safety-critical Java for embedded systems

Martin Schoeberl, Andreas Engelbredt Dalsgaard, René Rydhof Hansen, Stephan E. Korsholm, Anders P. Ravn, Juan Ricardo Rios Rivas, Tórur Biskopstø Strøm, Hans Søndergaard, Andy Wellings, Shuai Zhao
2016 Concurrency and Computation  
The project supports the upcoming standard for safety-critical Java, which defines a subset of Java and libraries aiming for development of high criticality systems.  ...  Due to the additional complexity introduced by inheriting directly from RTSJ classes, later proposals for a safety-critical Java profile argue for an API that is independent of the RTSJ [15, 5] .  ...  ACKNOWLEDGEMENT This work is part of the project "Certifiable Java for Embedded Systems" (CJ4ES) and has received partial funding from the Danish Research Council for Technology and Production Sciences  ... 
doi:10.1002/cpe.3963 fatcat:tmeskmj55jbpbbphborjywn5vy

A critical analysis of string APIs: The case of Pharo

Damien Pollet, Stéphane Ducasse
2018 Science of Computer Programming  
This analysis should help language designers in understanding the design space of strings, and will serve as a basis for a future redesign of the string library in Pharo.  ...  We harvest criteria to describe a string API, and reflect on features and design tensions.  ...  APIs or libraries and their structuring principles.  ... 
doi:10.1016/j.scico.2017.11.005 fatcat:quzgrt6cene7fmkfvfigf46jgq

Weasel Finder: Highlighting Ambiguous Sentences for Promoting Critical Web Browsing

Fumiaki Saito, Yusuke Yamamoto
2021 Transactions of the Japanese society for artificial intelligence  
Then, we investigate how highlighting weasel sentences affects the search behaviors and decision making of the users searching for information on the web.  ...  keywords: web browsing, information credibility, critical information seeking, human factor, user interface Summary This paper proposes Weasel Finder, a system that highlights weasel sentences while browsing  ...  H.: A taxonomy of critical thinking dispositions and abilities, in Baron, J. B. and Sternberg, R. J. eds., Series of Books in Psychology.  ... 
doi:10.1527/tjsai.36-1_wi2-h fatcat:kqftc75hibdmtfer47xjg2oiae

A test suite for safety-critical Java using JML

Anders P. Ravn, Hans Søndergaard
2013 Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems - JTRES '13  
These two proposals include a real-time garbage collector for real-time memory management and a real-time operating system for real-time scheduling and resource management.  ...  In this paper we examine the Android programming model, libraries, and core systems services in the context of the Fiji real-time VM coupled with the RT Linux and RTEMS real-time operating systems.  ...  Developers can leverage the rich APIs and libraries already implemented and support for various hardware components.  ... 
doi:10.1145/2512989.2512993 dblp:conf/jtres/RavnS13 fatcat:5aas3cw7zre3nnzj2m75x5exd4

An Operating System for Safety-Critical Applications on Manycore Processors

Florian Kluge, Mike Gerdes, Theo Ungerer
2014 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing  
Internally, MOSSCA runs in a distributed manner to achieve a high parallelism while still guaranteeing a predictable behaviour.  ...  Processor technology is advancing from bus-based multicores to network-on-chip-based manycores, posing new challenges for operating system design.  ...  Applications can access an IPCS through the regular API services defined for servers, or a userlevel library wrapper.  ... 
doi:10.1109/isorc.2014.30 dblp:conf/isorc/KlugeGU14 fatcat:u7ss2e25vvcjdecpnc7sy63z2u
« Previous Showing results 1 — 15 out of 56,302 results