IL119914A - Device for implementing hierarchical state charts and methods and apparatus useful therefor - Google Patents

Device for implementing hierarchical state charts and methods and apparatus useful therefor

Info

Publication number
IL119914A
IL119914A IL11991496A IL11991496A IL119914A IL 119914 A IL119914 A IL 119914A IL 11991496 A IL11991496 A IL 11991496A IL 11991496 A IL11991496 A IL 11991496A IL 119914 A IL119914 A IL 119914A
Authority
IL
Israel
Prior art keywords
methods
apparatus useful
hierarchical state
useful therefor
implementing hierarchical
Prior art date
Application number
IL11991496A
Other languages
English (en)
Other versions
IL119914A0 (en
Inventor
Frederick C Rotbart
Original Assignee
Emultek Ltd
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Emultek Ltd filed Critical Emultek Ltd
Priority to IL11991496A priority Critical patent/IL119914A/xx
Publication of IL119914A0 publication Critical patent/IL119914A0/xx
Priority to US08/868,278 priority patent/US5995739A/en
Priority to TW086117734A priority patent/TW355767B/zh
Priority to IL13059097A priority patent/IL130590A/xx
Priority to KR1019997005795A priority patent/KR20000069716A/ko
Priority to CNB971818045A priority patent/CN1165857C/zh
Priority to JP52978598A priority patent/JP2001507490A/ja
Priority to AU54088/98A priority patent/AU5408898A/en
Priority to PCT/IL1997/000418 priority patent/WO1998029817A1/en
Priority to HK00106220.9A priority patent/HK1027182B/xx
Priority to EP97947856A priority patent/EP0993639A1/de
Priority to NO993149A priority patent/NO993149L/no
Priority to US09/450,060 priority patent/US6285976B1/en
Publication of IL119914A publication Critical patent/IL119914A/xx

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for program control, e.g. control units
    • G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/44—Arrangements for executing specific programs
    • G06F9/448—Execution paradigms, e.g. implementations of programming paradigms
    • G06F9/4498—Finite state machines

Landscapes

  • Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Stored Programmes (AREA)
  • Testing And Monitoring For Control Systems (AREA)
  • Debugging And Monitoring (AREA)
IL11991496A 1996-12-25 1996-12-25 Device for implementing hierarchical state charts and methods and apparatus useful therefor IL119914A (en)

Priority Applications (13)

Application Number Priority Date Filing Date Title
IL11991496A IL119914A (en) 1996-12-25 1996-12-25 Device for implementing hierarchical state charts and methods and apparatus useful therefor
US08/868,278 US5995739A (en) 1996-12-25 1997-06-03 Device for implementing hierarchical state charts and methods and apparatus useful therefor
TW086117734A TW355767B (en) 1996-12-25 1997-11-26 A device for implementing hierarchical state charts and method and apparatus useful therefor this invention relates to a device for implementing hierarchical state charts and method and apparatus useful therefor
EP97947856A EP0993639A1 (de) 1996-12-25 1997-12-22 Vorrichtung zur einführung von hierarchischen statuscharts und verfahren und gerät nützlich hierfür
JP52978598A JP2001507490A (ja) 1996-12-25 1997-12-22 階層的状態チャートを実現するデバイス及び方法及びそれに有用な装置
KR1019997005795A KR20000069716A (ko) 1996-12-25 1997-12-22 계층 상태 차트를 구현하는 장치 및 그것의 사용 방법 및 장치
CNB971818045A CN1165857C (zh) 1996-12-25 1997-12-22 实现层次状态图的装置和对其有用的方法及设备
IL13059097A IL130590A (en) 1996-12-25 1997-12-22 Device for implementing hierarchical state charts and methods and apparatus useful therefor
AU54088/98A AU5408898A (en) 1996-12-25 1997-12-22 Device for implementing hierarchical state charts and methods and apparatus useful therefor
PCT/IL1997/000418 WO1998029817A1 (en) 1996-12-25 1997-12-22 Device for implementing hierarchical state charts and methods and apparatus useful therefor
HK00106220.9A HK1027182B (en) 1996-12-25 1997-12-22 Device for implementing hierarchical state charts and methods and apparatus useful therefor
NO993149A NO993149L (no) 1996-12-25 1999-06-24 Anordning for implementering av hierarkiske tilstandskart, og fremgangsmåter og apparat som kan brukes for denne
US09/450,060 US6285976B1 (en) 1996-12-25 1999-11-29 Device for implementing hierarchical state charts and methods and apparatus useful therefor

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
IL11991496A IL119914A (en) 1996-12-25 1996-12-25 Device for implementing hierarchical state charts and methods and apparatus useful therefor

Publications (2)

Publication Number Publication Date
IL119914A0 IL119914A0 (en) 1997-03-18
IL119914A true IL119914A (en) 2000-06-29

Family

ID=11069626

Family Applications (1)

Application Number Title Priority Date Filing Date
IL11991496A IL119914A (en) 1996-12-25 1996-12-25 Device for implementing hierarchical state charts and methods and apparatus useful therefor

Country Status (10)

Country Link
US (2) US5995739A (de)
EP (1) EP0993639A1 (de)
JP (1) JP2001507490A (de)
KR (1) KR20000069716A (de)
CN (1) CN1165857C (de)
AU (1) AU5408898A (de)
IL (1) IL119914A (de)
NO (1) NO993149L (de)
TW (1) TW355767B (de)
WO (1) WO1998029817A1 (de)

Families Citing this family (24)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
IL119914A (en) * 1996-12-25 2000-06-29 Emultek Ltd Device for implementing hierarchical state charts and methods and apparatus useful therefor
JPH1124907A (ja) * 1997-06-27 1999-01-29 Toshiba Corp ソフトウエア開発支援方法およびソフトウエア開発支援装置
US6324496B1 (en) * 1998-06-18 2001-11-27 Lucent Technologies Inc. Model checking of hierarchical state machines
US6374144B1 (en) 1998-12-22 2002-04-16 Varian Semiconductor Equipment Associates, Inc. Method and apparatus for controlling a system using hierarchical state machines
JP3488161B2 (ja) * 2000-01-31 2004-01-19 Ｎｅｃエレクトロニクス株式会社 プログラム開発装置、プログラム開発方法及びプログラム開発プログラムを記録した記録媒体
US6779135B1 (en) * 2000-05-03 2004-08-17 International Business Machines Corporation Interleaving based coverage models for concurrent and distributed software
US6842892B1 (en) * 2000-05-15 2005-01-11 Sun Microsystems, Inc. Automatic generation of an optimized API
US20030045281A1 (en) * 2001-04-09 2003-03-06 Yoram Rimoni Mobile transceiver state machine testing device
GB2377285A (en) * 2001-07-02 2003-01-08 Ubinetics Ltd State machine
US20030125993A1 (en) * 2001-12-27 2003-07-03 Ho Chi Fai Method and system for event distribution
US20030153998A1 (en) * 2002-02-13 2003-08-14 Micron Technology, Inc. Feature modeling application
US7554685B2 (en) * 2002-07-26 2009-06-30 Ricoh Company, Ltd. Image forming apparatus, information processing apparatus, program execution method and program producing method
DE102004040795A1 (de) * 2004-08-23 2006-03-02 BSH Bosch und Siemens Hausgeräte GmbH Verfahren, Vorrichtung und Sofwaremodul zur softwaretechnischen Abbildung des Geräteverhaltens eines realen Hausgeräts in einem Modell
JP4481783B2 (ja) * 2004-09-30 2010-06-16 ルネサスエレクトロニクス株式会社 シミュレーションモデル作成装置及びシミュレーション装置とシステム並びに方法とプログラム
US7474310B2 (en) 2005-08-12 2009-01-06 Microsoft Corporation Object association in a computer generated drawing environment
US7657434B2 (en) * 2006-05-30 2010-02-02 Motorola, Inc. Frame goals for dialog system
US7505951B2 (en) * 2006-05-30 2009-03-17 Motorola, Inc. Hierarchical state machine generation for interaction management using goal specifications
US7797672B2 (en) * 2006-05-30 2010-09-14 Motorola, Inc. Statechart generation using frames
US20080147364A1 (en) * 2006-12-15 2008-06-19 Motorola, Inc. Method and apparatus for generating harel statecharts using forms specifications
US8266584B2 (en) * 2007-04-20 2012-09-11 National Instruments Corporation Statechart development environment with a plurality of user-selectable event modes
US8640100B2 (en) * 2007-04-20 2014-01-28 National Instruments Corporation Debugging a statechart using a graphical program
US8458667B2 (en) * 2008-01-30 2013-06-04 National Instruments Corporation Debugging a statechart for a real time target
CN106569838A (zh) * 2016-11-18 2017-04-19 天津理工大学 基于qp框架的代码自动生成器
US10664133B1 (en) * 2018-01-24 2020-05-26 InVisionApp Inc. Automated linking and merging of hierarchical data structures for animated transitions

Family Cites Families (11)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
IL78542A0 (en) * 1986-04-18 1986-08-31 Yeda Res & Dev Electronic controller based on the use of statecharts as an abstract model
US5163016A (en) * 1990-03-06 1992-11-10 At&T Bell Laboratories Analytical development and verification of control-intensive systems
US5257363A (en) * 1990-04-09 1993-10-26 Meta Software Corporation Computer-aided generation of programs modelling complex systems using colored petri nets
JPH06103075A (ja) * 1992-07-06 1994-04-15 Internatl Business Mach Corp <Ibm> オブジェクト指向適用業務
JPH06149554A (ja) * 1992-11-09 1994-05-27 Matsushita Electric Ind Co Ltd プログラム動作仕様自動合成装置及びその方法
US5485600A (en) * 1992-11-09 1996-01-16 Virtual Prototypes, Inc. Computer modelling system and method for specifying the behavior of graphical operator interfaces
US5555415A (en) * 1994-01-10 1996-09-10 Metasphere, Inc. Object oriented event message dispatching subsystem and method utilizing a disposition matrix
US5801687A (en) * 1994-09-30 1998-09-01 Apple Computer, Inc. Authoring tool comprising nested state machines for use in a computer system
US5652714A (en) * 1994-09-30 1997-07-29 Apple Computer, Inc. Method and apparatus for capturing transient events in a multimedia product using an authoring tool on a computer system
US5826030A (en) * 1995-11-30 1998-10-20 Excel Switching Corporation Telecommunication switch having a universal API with a single call processing message including user-definable data and response message each having a generic format
IL119914A (en) * 1996-12-25 2000-06-29 Emultek Ltd Device for implementing hierarchical state charts and methods and apparatus useful therefor

Also Published As

Publication number Publication date
WO1998029817A1 (en) 1998-07-09
CN1249045A (zh) 2000-03-29
KR20000069716A (ko) 2000-11-25
EP0993639A4 (de) 2000-04-19
HK1027182A1 (en) 2001-01-05
EP0993639A1 (de) 2000-04-19
US5995739A (en) 1999-11-30
US6285976B1 (en) 2001-09-04
JP2001507490A (ja) 2001-06-05
NO993149L (no) 1999-08-18
CN1165857C (zh) 2004-09-08
NO993149D0 (no) 1999-06-24
IL119914A0 (en) 1997-03-18
TW355767B (en) 1999-04-11
AU5408898A (en) 1998-07-31

Similar Documents

Publication Publication Date Title
IL119914A (en) Device for implementing hierarchical state charts and methods and apparatus useful therefor
GB2323003B (en) Method and apparatus for graphically displaying hierarchical structure
GB9913305D0 (en) Method and apparatus for n choose m device selection
GB9616783D0 (en) Method and apparatus
EP0932085A4 (de) Bilderzeugungsvorrichtung und bilderzeugungsverfahren
IL118352A0 (en) Apparatus and methods for revascularization
GB2317141B (en) Compaction methods and apparatus
EP0946887A4 (de) Verfahren und anordnung zur ultraschallentfernungsmessung
EP0831390A4 (de) E/a erweiterungsvorrichtung und gerät dafür
GB2315336B (en) Test method and device for screwers
GB9708954D0 (en) Interface apparatus and method
GB9609608D0 (en) Method and device
GB9620053D0 (en) Method and apparatus for measurement
EP0711037A3 (de) Gerät zur Signalerzeugung und Verfahren
GB9609607D0 (en) Method and device
IL130590A (en) Device for implementing hierarchical state charts and methods and apparatus useful therefor
SG60092A1 (en) Semi-shield method and apparatus for the same
GB2319520B (en) De-salination apparatus and method
GB9717516D0 (en) Passenger removal method and device
GB9611254D0 (en) Method and apparatus
GB9409333D0 (en) Analytical method and device for use therein
GB2312735B (en) Viewing device and method
GB9614835D0 (en) Method and apparatus
GB9600984D0 (en) Apparatus and methods
SG53136A1 (en) Wire-seam-welding method and apparatus therefor

Legal Events

Date Code Title Description
FF Patent granted
KB Patent renewed
KB Patent renewed
MM9K Patent not in force due to non-payment of renewal fees