Search Results for "uml"

Integrated component-based and cellular automata (CA) Parallel DEVS simulator: https://acims.asu.edu/devs-suite/ OFFERS: 1) synchronized execution & animation, 2) run-time linear/superdense I/O & state trajectories, 3) Action Level Real-Time modeling & simulation, 4) model checking, 5) ABM, 6) CA & composable CA playback, 7) KIB interaction modeling, 8) hierarchical model libraries, 9) Black-Box testing & debugging, 10) PostgreSQL repository, 11) FMU (OpenModelica), 12) OSATE (AADL)...

Pretty Damn Quick (PDQ) analytically solves queueing network models of computer and manufacturing systems, data networks, etc., written in conventional programming languages. Generic or customized reports of predicted performance measures are output.

MOTION (MOdeling and simulaTIng mObile ad-hoc Networks): a Java application for both formally modeling and simulating Mobile Ad-hoc NETworks (MANETs).

PREESM provides a complete framework for fast prototyping. It generates a simulation and an optimized multiprocessor code from graph descriptions of algorithm and architecture. Please visit the project homepage at http://preesm.sourceforge.net.

The project is to develop an application for the general management of virtual networks with Dynamips, VirtualBox, PixEmulator, UML, Zebra, etc.

Support for more productive Model Based Systems Engineering, following the recommendations in the Cookbook of the INCOSE SE2 Challenge team http://mbse.gfse.de The Plugin for the MagicDraw modelling tool provides support for model based document generation which ties together system model and documents to keep them up to date and consistent, using a AWYSIWYG editor in MagicDraw. It provides basic support to model variants and extract variants from a system model. It provides support...

itemis CREATE - formerly known as Yakindu Statechart Tools (SCT) - is a tool for the specification and development of reactive, event-driven systems with the help of state machines. It consists of an easy-to-use tool for graphical editing and provides validation, simulation and code generators for different target platforms. Visit http://www.statecharts.org for more information! !! YAKINDU SCT HAS MOVED !! DOWNLOAD FROM https://info.itemis.com/download-yakindu-statechart-tools

Das erste Projekt mit dem RaspberryPi Model B - Ein Multifunktions Wecker. Ich habe mir dieses Projekt ausgesucht da es derzeit auf dem Markt kaum bzw keine günstigen Internet Radio Wecker zu kaufen gibt (meistens ab 80€ und aufwärts...) daher DIY

This project will provide tools that leverage WS-CDL and Pi Calculus to build more robust Service Oriented Architectures (SOA). The tools are now released (and supported) through JBoss Tools (version > 3.2): http://www.jboss.org/tools

Jact is a tool to provide severval ways of configurating the Asterisk PBX. It's base upon UML2 models of the configuration files. The goal is to get a functional description of all configuration elements around the Asterisk.

A Java library and supporting modelling/execution tools that combine Robin Milner's formal Bigraph model with the indirect communication abstraction of Gelernter's tuple-space, i.e. a coordination system based on bigraphs.

A Java 1.5 SNMP mib parser that builds a complete cross-referenced symbol table.

a framework library with a template method interface and inheritable classes for an executable process design which produces an executable which is both a GUI and a console application. It provides multi-threading for work items of the provider process .

Visual MIB Browser that supports getting the MIB from RFC, managing the MIB, running SNMP operations (v1/v2/v3) with MIB, discovering SNMP devices, graphing MIB variables, visualise MIB as tree, view MIB as UML classes, save MIB data in pdf/xls/text

Simulation too for assessing the availability of Peer-to-Peer storage schemes, such as Distributed Hash Tables, Bucketing, and Replication.

an integration framework for UML and MOF case tools based on Jini and SOAP. It exchanges models from ArgoUML, Poseidon, Rose, etc. as XMI (UML stored in XML), checks them and generates code. New services simply plug in and can be shared world-wide.

The Network Security Response Framework (NSRF) allows for testing different computer security response engines and methodologies. It supports simulated and real: Intrusion Detection Systems (sensors), Attacks, and Responses.

COMPAS J2EE is a non-intrusive performance instrumentation and monitoring toolkit for J2EE. It uses adaptive monitoring to automatically adjust the target coverage. COMPAS is completely portable across J2EE application servers and OSs.

MEM Net - Mote EMulator Network. This project will focus on: 1) MEM - Wireless Sensor Node (mote) emulator 2) MEM Net - network of emulated motes So far, the only released package is “visual-sim-slides”. More comming next !

Nodular is a methodology plus a set of utilities to model data and convert between data formats (EBNF, SQL, UML, XML, XML schemas, and so on).