Safety of interoperation of program fragments written in different safe languages may fail when the languages have different systems of computational effects: an exception raised by an ML function may have no valid semantic interpretation in the context of a Safe-C caller. Sandboxing costs performance and still may violate the semantics if effects are not taken into account. We show that effect...

Code sandboxing is useful for many purposes, but most sandboxing techniques require kernel modifications, do not completely isolate guest code, or incur substantial performance costs. Vx32 is a multipurpose user-level sandbox that enables any application to load and safely execute one or more guest plug-ins, confining each guest to a system call API controlled by the host application and to a r...

Model-Driven Design (MDD) techniques can be used to design control software for cyber-physical systems, reducing the complexity of designing such software. Most MDD tools do not provide proper support to interact with the environment of the models, i.e. the actuators and sensors of a cyber-physical system, resulting in the models being sandboxed. So-called “Hardware Ports” are proposed in this ...

A finales del año 2017, se empezó el desarrollo de un prototipo caja arena denominado “GS-Sandbox”, iniciativa motivada por revisar técnicas elaboradas en museos interactivos como Japón, sitios donde han implementado las Realidad Aumentada para concientizar a los ciudadanos japoneses acerca fenómenos naturales que registran tras año. El objetivo este estudio es replicar dispositivo modelamiento...