TNSN08516A1 - 2-phenyl-indoles as prostaglandin d2 receptor antagonists - Google Patents
2-phenyl-indoles as prostaglandin d2 receptor antagonistsInfo
- Publication number
- TNSN08516A1 TNSN08516A1 TNP2008000516A TNSN08516A TNSN08516A1 TN SN08516 A1 TNSN08516 A1 TN SN08516A1 TN P2008000516 A TNP2008000516 A TN P2008000516A TN SN08516 A TNSN08516 A TN SN08516A TN SN08516 A1 TNSN08516 A1 TN SN08516A1
- Authority
- TN
- Tunisia
- Prior art keywords
- outputs
- task
- inputs
- states
- executing
- Prior art date
Links
Classifications
-
- B—PERFORMING OPERATIONS; TRANSPORTING
- B61—RAILWAYS
- B61L—GUIDING RAILWAY TRAFFIC; ENSURING THE SAFETY OF RAILWAY TRAFFIC
- B61L21/00—Station blocking between signal boxes in one yard
- B61L21/04—Electrical locking and release of the route; Electrical repeat locks
-
- B—PERFORMING OPERATIONS; TRANSPORTING
- B61—RAILWAYS
- B61L—GUIDING RAILWAY TRAFFIC; ENSURING THE SAFETY OF RAILWAY TRAFFIC
- B61L27/00—Central railway traffic control systems; Trackside control; Communication systems specially adapted therefor
- B61L27/60—Testing or simulation
-
- G—PHYSICS
- G05—CONTROLLING; REGULATING
- G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
- G05B19/00—Programme-control systems
- G05B19/02—Programme-control systems electric
- G05B19/04—Programme control other than numerical control, i.e. in sequence controllers or logic controllers
- G05B19/045—Programme control other than numerical control, i.e. in sequence controllers or logic controllers using logic state machines, consisting only of a memory or a programmable logic device containing the logic for the controlled machine and in which the state of its outputs is dependent on the state of its inputs or part of its own output states, e.g. binary decision controllers, finite state controllers
Landscapes
- Engineering & Computer Science (AREA)
- Mechanical Engineering (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Automation & Control Theory (AREA)
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
- Safety Devices In Control Systems (AREA)
- Train Traffic Observation, Control, And Security (AREA)
- Control By Computers (AREA)
- Combined Controls Of Internal Combustion Engines (AREA)
- Control Of Transmission Device (AREA)
- Testing And Monitoring For Control Systems (AREA)
- Multi Processors (AREA)
- Feedback Control In General (AREA)
Abstract
The system comprises a management module (13), all-or-nothing inputs (11) representative of external events (en) and all-or-nothing outputs (17) controlling external actuators (4, 5), automatic modules (15) for executing predetermined tasks (n) so as, in response to said events (en), to act on said outputs (17), the set of states of the inputs (11) and outputs (17) at a given instant (Ti) constituting an instantaneous overall state (Fi) of the system (3), the set of states of the inputs (11) and outputs (17) that is obtained after executing a task (n) constituting a stabilized overall state (ESj) of the system (3). The management module (13) only permits (20) the execution of a task (n) corresponding to an arbitrary external event (en) if no task (n-1) corresponding to another event (en-1) is currently executing and the action of the automatic modules (15) only leads to a finite number of overall states (Fi).
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
EP06290977A EP1868051A1 (en) | 2006-06-15 | 2006-06-15 | Method for validating a control system and control system to be validated by this method |
PCT/FR2007/000991 WO2007144513A2 (en) | 2006-06-15 | 2007-06-14 | Method of validating a control/command system and control/command system that can be validated by the method |
Publications (1)
Publication Number | Publication Date |
---|---|
TNSN08516A1 true TNSN08516A1 (en) | 2010-04-14 |
Family
ID=37434217
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
TNP2008000516A TNSN08516A1 (en) | 2006-06-15 | 2008-12-12 | 2-phenyl-indoles as prostaglandin d2 receptor antagonists |
Country Status (8)
Country | Link |
---|---|
EP (1) | EP1868051A1 (en) |
JP (1) | JP2009539694A (en) |
CN (1) | CN101506746A (en) |
MA (1) | MA30573B1 (en) |
RU (1) | RU2470339C2 (en) |
TN (1) | TNSN08516A1 (en) |
UA (1) | UA96601C2 (en) |
WO (1) | WO2007144513A2 (en) |
Families Citing this family (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
DE102016205392A1 (en) | 2016-03-31 | 2017-10-05 | Siemens Aktiengesellschaft | Method and system for validating an obstacle detection system |
CN106864485B (en) * | 2017-03-20 | 2019-04-19 | 北京智川科技发展有限公司 | The identification device and its system of railway switch state |
Family Cites Families (11)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
SU965850A1 (en) * | 1981-03-06 | 1982-10-15 | Московский Ордена Ленина И Ордена Трудового Красного Знамени Институт Инженеров Железнодорожного Транспорта | Apparatus for controlling passenger train door actuators |
FR2707406B1 (en) * | 1993-07-06 | 1995-09-01 | Framatome Sa | Method for testing an assembly for conducting an industrial process and device for implementing this method. |
GB2292620B (en) * | 1994-08-16 | 1998-04-22 | Motorola Israel Ltd | Event driven programmer logic controller processor arrangement |
US5754823A (en) * | 1995-02-23 | 1998-05-19 | Datalogic, Inc. | Configurable I/O system using logic state arrays |
DE59610130D1 (en) * | 1996-03-21 | 2003-03-20 | Alcatel Sa | Process for controlling and securing a track-guided transport system |
FR2760862B1 (en) * | 1997-03-14 | 1999-05-07 | Siemens Automotive Sa | METHOD OF DYNAMIC DIAGNOSIS OF AN ACTUATOR |
US6629059B2 (en) * | 2001-05-14 | 2003-09-30 | Fisher-Rosemount Systems, Inc. | Hand held diagnostic and communication device with automatic bus detection |
DE60112771D1 (en) * | 2001-12-04 | 2005-09-22 | St Microelectronics Srl | Architecture and method for managing an interface based on a finite state machine |
FR2844611B1 (en) * | 2002-09-12 | 2004-12-03 | Centre Nat Etd Spatiales | METHOD AND SYSTEM FOR MANAGING EVENTS IN AN ON-BOARD SYSTEM WITH SEVERAL REAL-TIME CONSTRAINTS |
RU2261471C1 (en) * | 2004-03-31 | 2005-09-27 | ЗАО Московское конструкторское бюро "Параллель" | Method for forming diagnostical tests |
RU2264941C1 (en) * | 2004-04-13 | 2005-11-27 | Московский государственный университет путей сообщения (МИИТ) | Automatic control system of switches with shunting automatic cab signaling |
-
2006
- 2006-06-15 EP EP06290977A patent/EP1868051A1/en not_active Withdrawn
-
2007
- 2007-06-14 UA UAA200900272A patent/UA96601C2/en unknown
- 2007-06-14 WO PCT/FR2007/000991 patent/WO2007144513A2/en active Application Filing
- 2007-06-14 JP JP2009514849A patent/JP2009539694A/en active Pending
- 2007-06-14 CN CNA2007800304221A patent/CN101506746A/en active Pending
- 2007-06-14 RU RU2008150003/08A patent/RU2470339C2/en not_active IP Right Cessation
-
2008
- 2008-12-12 TN TNP2008000516A patent/TNSN08516A1/en unknown
-
2009
- 2009-01-06 MA MA31548A patent/MA30573B1/en unknown
Also Published As
Publication number | Publication date |
---|---|
EP1868051A1 (en) | 2007-12-19 |
CN101506746A (en) | 2009-08-12 |
UA96601C2 (en) | 2011-11-25 |
RU2008150003A (en) | 2010-06-27 |
JP2009539694A (en) | 2009-11-19 |
WO2007144513A2 (en) | 2007-12-21 |
WO2007144513A3 (en) | 2008-02-07 |
RU2470339C2 (en) | 2012-12-20 |
MA30573B1 (en) | 2009-07-01 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
WO2017064554A8 (en) | Method for arranging workloads in a software defined automation system | |
DK2250402T3 (en) | Device for converting bidirectional rotational motion around two rotational axes to a unidirectional rotational motion about a single rotational axis and energy production system using said device | |
EP1906276A3 (en) | HMI views of modules for industrial control systems | |
WO2008087779A1 (en) | Array type processor and data processing system | |
WO2006055864A3 (en) | Method and apparatus for implementing task management of computer operations | |
MY150324A (en) | Remotely controlling and viewing of software applications | |
WO2006010812A3 (en) | Method for controlling a software process, method and system for redistributing or continuing operation in a multi-computer architecture | |
NO20090586L (en) | Systems and methods for real-time dynamic simulation of undisturbed power supply solutions and their logical control systems | |
WO2008092082A3 (en) | Upgradeable automation devices, systems, architectures, and methods for energy management and other applications | |
PL2118712T3 (en) | Scada unit | |
BRPI0607419A2 (en) | terminal, system and method for programming device management in such a terminal and system | |
ATE397240T1 (en) | SAFETY CONTROLS | |
EP2595304A3 (en) | Power system controlling and monitoring power semiconductor devices employing two serial signals | |
CN202978706U (en) | Digital power based on FPGA | |
TNSN08516A1 (en) | 2-phenyl-indoles as prostaglandin d2 receptor antagonists | |
TW200627285A (en) | Hierarchical management for multiprocessor system with real time attributes | |
DE50303812D1 (en) | Control unit, control module, module battery and control system | |
WO2009007378A3 (en) | Apparatus for automation of the operative functionalities of one or more loads of an environment | |
WO2008077653A3 (en) | Method, system and computer program for monitoring components in a service framework | |
WO2006020390A3 (en) | Computing system redundancy and fault tolerance | |
WO2009148739A3 (en) | Regaining control of a processing resource that executes an external execution context | |
CA2767782C (en) | Suspendable interrupts for processor idle management | |
CN102549510A (en) | Method for testing the real-time capability of an operating system | |
Putthapipat et al. | PiFrame: A framework for home automation platform on the full feature OS | |
TW200721002A (en) | External storage device capable of controlling computer system and method thereof |